refactor(blockifier): feature contracts and feature compatibility tests

starkware-libs · Nov 8, 2024 · 9da70d6 · 9da70d6
1 parent 48fdf7a
commit 9da70d6
Show file tree

Hide file tree

Showing 15 changed files with 9,360 additions and 9,447 deletions.
diff --git a/crates/blockifier/cairo_native b/crates/blockifier/cairo_native
diff --git a/.../cairo1/compiled/account_faulty.casm.json → ...o1/compiled_casm/account_faulty.casm.json b/.../cairo1/compiled/account_faulty.casm.json → ...o1/compiled_casm/account_faulty.casm.json
diff --git a/...led/account_with_dummy_validate.casm.json → ...asm/account_with_dummy_validate.casm.json b/...led/account_with_dummy_validate.casm.json → ...asm/account_with_dummy_validate.casm.json
diff --git a/...iled/account_with_long_validate.casm.json → ...casm/account_with_long_validate.casm.json b/...iled/account_with_long_validate.casm.json → ...casm/account_with_long_validate.casm.json
diff --git a/...piled/cairo_steps_test_contract.casm.json → ..._casm/cairo_steps_test_contract.casm.json b/...piled/cairo_steps_test_contract.casm.json → ..._casm/cairo_steps_test_contract.casm.json
diff --git a/.../cairo1/compiled/empty_contract.casm.json → ...o1/compiled_casm/empty_contract.casm.json b/.../cairo1/compiled/empty_contract.casm.json → ...o1/compiled_casm/empty_contract.casm.json
diff --git a/...1/compiled/legacy_test_contract.casm.json → ...piled_casm/legacy_test_contract.casm.json b/...1/compiled/legacy_test_contract.casm.json → ...piled_casm/legacy_test_contract.casm.json
diff --git a/...s/cairo1/compiled/test_contract.casm.json → ...ro1/compiled_casm/test_contract.casm.json b/...s/cairo1/compiled/test_contract.casm.json → ...ro1/compiled_casm/test_contract.casm.json
+5 −5		.github/workflows/bench-hyperfine.yml
+12 −12		.github/workflows/ci.yml
+2 −2		.github/workflows/publish.yml
+2 −2		.github/workflows/release.yml
+2 −2		.github/workflows/rustdoc.yml
+132 −0		.github/workflows/starknet-blocks.yml
+51 −51		Cargo.lock
+6 −80		benches/benches.rs
+17 −0		benches/compile_time.rs
+54 −3		benches/libfuncs.rs
+33 −45		docs/implementing_libfuncs.md
+0 −5		programs/benches/factorial_2M.c
+0 −5		programs/benches/fib_2M.c
+0 −5		programs/benches/logistic_map.c
+42 −48		programs/compile_benches/dijkstra.cairo
+8 −17		programs/compile_benches/extended_euclidean_algorithm.cairo
+78 −27		programs/compile_benches/fast_power.cairo
+0 −285		programs/compile_benches/sha256.cairo
+539 −0		programs/compile_benches/sha512.cairo
+5 −2		runtime/Cargo.toml
+236 −6		runtime/src/lib.rs
+1 −1		rust-toolchain.toml
+32 −0		scripts/diff-check.sh
+6 −6		src/arch.rs
+2 −26		src/compiler.rs
+15 −1		src/context.rs
+0 −3		src/error.rs
+30 −58		src/executor.rs
+0 −12		src/executor/aot.rs
+13 −66		src/executor/contract.rs
+0 −13		src/executor/jit.rs
+25 −0		src/ffi.rs
+5 −6		src/libfuncs/array.rs
+5 −3		src/libfuncs/circuit.rs
+18 −121		src/libfuncs/gas.rs
+290 −595		src/libfuncs/starknet.rs
+676 −1,507		src/libfuncs/starknet/secp256.rs
+6 −9		src/metadata/gas.rs
+4 −6		src/types.rs
+19 −24		src/types/array.rs
+2 −6		src/types/builtin_costs.rs
+3 −45		src/utils.rs
+87 −1		src/utils/block_ext.rs
+2 −2		src/values.rs
+6 −6		tests/alexandria/Scarb.lock
+4 −4		tests/alexandria/Scarb.toml
+6 −12		tests/common.rs
+0 −2		tests/tests/boolean.rs