[DNM] Execution trace dumping with contract support.

Cargo.toml

@@ -51,6 +51,7 @@ with-cheatcode = []
 with-debug-utils = []
 with-mem-tracing = []
 with-runtime = ["dep:cairo-native-runtime"]
+with-trace-dump = ["cairo-native-runtime/with-trace-dump"]
 
 # the aquamarine dep is only used in docs and cannot be detected as used by cargo udeps
 [package.metadata.cargo-udeps.ignore]

Makefile

@@ -59,7 +59,7 @@ build-dev: check-llvm
 .PHONY: check
 check: check-llvm
 	cargo fmt --all -- --check
-	cargo clippy --all-targets --all-features -- -D warnings
+	cargo clippy --all-targets --features build-cli,with-cheatcode,with-runtime -- -D warnings
 
 .PHONY: test
 test: check-llvm needs-cairo2 build-alexandria runtime-ci
@@ -88,11 +88,11 @@ coverage: check-llvm needs-cairo2 build-alexandria runtime-ci
 
 .PHONY: doc
 doc: check-llvm
-	cargo doc --all-features --no-deps --workspace
+	cargo doc --features build-cli,with-cheatcode,with-runtime --no-deps --workspace
 
 .PHONY: doc-open
 doc-open: check-llvm
-	cargo doc --all-features --no-deps --workspace --open
+	cargo doc --features build-cli,with-cheatcode,with-runtime --no-deps --workspace --open
 
 .PHONY: bench
 bench: needs-cairo2 runtime
@@ -179,8 +179,11 @@ build-alexandria:
 
 .PHONY: runtime
 runtime:
-	cargo b --release --all-features -p cairo-native-runtime && cp target/release/libcairo_native_runtime.a .
+	cargo b --release -p cairo-native-runtime && cp target/release/libcairo_native_runtime.a .
+
+runtime-with-trace-dump:
+	cargo b -p cairo-native-runtime --features=with-trace-dump && cp target/debug/libcairo_native_runtime.a .
 
 .PHONY: runtime-ci
 runtime-ci:
-	cargo b --profile ci --all-features -p cairo-native-runtime && cp target/ci/libcairo_native_runtime.a .
+	cargo b --profile ci -p cairo-native-runtime && cp target/ci/libcairo_native_runtime.a .

runtime/Cargo.toml

@@ -9,15 +9,28 @@ keywords = ["starknet", "cairo", "runtime"]
 [lib]
 crate-type = ["rlib", "cdylib", "staticlib"]
 
+[features]
+with-trace-dump = [
+    "dep:cairo-lang-sierra",
+    "dep:cairo-lang-utils",
+    "dep:sierra-emu",
+    "dep:num-bigint",
+]
+
 [dependencies]
 starknet-types-core = { version = "0.1.7", default-features = false, features = [
     "std",
     "serde",
     "hash",
 ] }
 cairo-lang-sierra-gas = "2.9.0-dev.0"
-starknet-curve = "0.5.1"
+itertools = "0.13.0"
 lazy_static = "1.5.0"
 rand = "0.8.5"
-itertools = "0.13.0"
-num-traits = "0.2"
+starknet-curve = "0.5.1"
+
+num-bigint = { version = "0.4.4", optional = true }
+num-traits = { version = "0.2" }
+cairo-lang-sierra = { version = "2.9.0-dev.0", optional = true }
+cairo-lang-utils = { version = "2.9.0-dev.0", optional = true }
+sierra-emu = { git = "https://github.com/lambdaclass/sierra-emu", optional = true }