New JIT input/output API (#341)

* poc serialize invoke * from * example and fixes * clean * add span * progress * clean * clean * invoke arg directly to jit * finish struct * progress * impl array and dict * progress * progress removing old execute * fmt * todo * dbg * fixes * fix native execution result * comment out tests that dont compile * fix some tests * fix * cleanup and progress * more cleanup * cleanup api * fixes * remove old values * remove serde and unused dep * fix bench * fix bench * cleaner api * update readme * better error handling, more conversions, more tests * test progress * bitwise unit test2 * Modified: src/libfuncs/bool.rs * start ec tests, fix ecpoint * ec_point_from_x test * readme * enum tests * more tests * felt dict entry tests * gas test * progress * more tests and fix bug related to starknet args * starknet libfuncs tests * u8 tests * more tests * port u512 tests! * fix u8 test * u32 tests * u64 tests * half way done with u128 tests * u128 tests * u256 tests * felt tests * ec and casts tests * remove some unwraps * remove unused * order deps * fix make * fix script
lambdaclass · Nov 21, 2023 · 6356fc4 · 6356fc4
1 parent 293cdbe
commit 6356fc4
Show file tree

Hide file tree

Showing 80 changed files with 4,689 additions and 5,206 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -21,7 +21,7 @@ required-features = ["build-cli"]
 
 [features]
 default = ["build-cli", "with-runtime"]
-build-cli = ["clap", "serde_json", "tracing-subscriber"]
+build-cli = ["clap", "tracing-subscriber"]
 with-debug-utils = []
 with-runtime = ["cairo-native-runtime"]
 
@@ -35,23 +35,21 @@ cairo-lang-filesystem = "2.3.1"
 cairo-lang-lowering = "2.3.1"
 cairo-lang-sierra = "2.3.1"
 cairo-lang-sierra-generator = "2.3.1"
+educe = "0.4.23"
 id-arena = "2.2"
-itertools = "0.11"
+itertools = "0.12"
 lazy_static = "1.4"
 libc = "0.2.147"
 melior = { version = "0.12.2", features = ["ods-dialects"] }
 mlir-sys = "0.2.1"
 num-bigint = "0.4.4"
-serde = { version = "1.0", features = ["derive"] }
+num-traits = "0.2"
 thiserror = "1.0"
 tracing = "0.1"
 
 # CLI dependencies
 cairo-native-runtime = { path = "runtime", optional = true }
 clap = { version = "4.3", features = ["derive"], optional = true }
-serde_json = { version = "1.0", features = [
-    "arbitrary_precision",
-], optional = true }
 tracing-subscriber = { version = "0.3", features = [
     "env-filter",
 ], optional = true }
@@ -64,9 +62,8 @@ cairo-lang-starknet = "2.3.1"
 cairo-lang-runner = "2.3.1"
 lambdaworks-math = "0.1"
 num-traits = "0.2"
-pretty_assertions = "1.4"
+pretty_assertions_sorted = "1.2.3"
 proptest = "1.2"
-serde_json = { version = "1.0", features = ["arbitrary_precision"] }
 tempfile = "3.6"
 test-case = "3.2.1"
 

diff --git a/Makefile b/Makefile
@@ -5,7 +5,7 @@
 #
 
 UNAME := $(shell uname)
-CAIRO_2_VERSION=2.3.0
+CAIRO_2_VERSION=2.3.1
 
 check-llvm:
 ifndef MLIR_SYS_170_PREFIX
@@ -86,7 +86,8 @@ endif
 ifeq ($(UNAME), Darwin)
 deps: build-cairo-2-compiler-macos deps-macos
 endif
-	-ln -s cairo2/corelib corelib || true
+	-rm -rf corelib
+	-ln -s cairo2/corelib corelib
 
 deps-macos: build-cairo-2-compiler-macos
 	-brew install llvm@17 --quiet