[DNM] Execution trace dumping with contract support.

[azteca1998]

Checklist

• Linked to Github Issue
• Unit tests added
• Integration tests added.
• This change requires new documentation.
  • Documentation has been added/updated.

[github-actions]

Benchmarking results

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.490 ± 0.367	10.901	11.840	8.53 ± 0.27
cairo-native (embedded AOT)	3.569 ± 0.033	3.520	3.628	2.65 ± 0.02
cairo-native (embedded JIT using LLVM's ORC Engine)	3.393 ± 0.044	3.336	3.477	2.52 ± 0.03
cairo-native (standalone AOT with -march=native)	1.348 ± 0.001	1.346	1.349	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.071 ± 0.219	10.870	11.483	141.53 ± 2.83
cairo-native (embedded AOT)	3.157 ± 0.036	3.077	3.205	40.36 ± 0.47
cairo-native (embedded JIT using LLVM's ORC Engine)	3.006 ± 0.034	2.963	3.051	38.43 ± 0.44
cairo-native (standalone AOT with -march=native)	0.078 ± 0.000	0.078	0.079	1.00

Benchmark for program logistic_map

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.513 ± 0.060	4.420	4.612	18.64 ± 0.25
cairo-native (embedded AOT)	3.369 ± 0.044	3.305	3.422	13.91 ± 0.19
cairo-native (embedded JIT using LLVM's ORC Engine)	3.282 ± 0.031	3.229	3.315	13.55 ± 0.13
cairo-native (standalone AOT with -march=native)	0.242 ± 0.000	0.242	0.243	1.00

[github-actions]

✅ Code is now correctly formatted.

[github-actions]

Benchmark results Main vs HEAD.

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	3.214 ± 0.032	3.170	3.274	1.00
base factorial_2M.cairo (AOT)	3.392 ± 0.026	3.365	3.458	1.06 ± 0.01
Command	Mean [s]	Min [s]	Max [s]	Relative
:---	---:	---:	---:	---:
head factorial_2M.cairo (JIT)	3.264 ± 0.035	3.212	3.320	1.00
head factorial_2M.cairo (AOT)	3.538 ± 0.051	3.469	3.637	1.08 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	2.767 ± 0.050	2.715	2.861	1.00
base fib_2M.cairo (AOT)	2.970 ± 0.034	2.893	3.014	1.07 ± 0.02
Command	Mean [s]	Min [s]	Max [s]	Relative
:---	---:	---:	---:	---:
head fib_2M.cairo (JIT)	2.798 ± 0.035	2.737	2.847	1.00
head fib_2M.cairo (AOT)	2.998 ± 0.020	2.969	3.026	1.07 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	3.132 ± 0.030	3.092	3.182	1.00
base logistic_map.cairo (AOT)	3.215 ± 0.039	3.177	3.285	1.03 ± 0.02
Command	Mean [s]	Min [s]	Max [s]	Relative
:---	---:	---:	---:	---:
head logistic_map.cairo (JIT)	3.199 ± 0.028	3.162	3.242	1.00
head logistic_map.cairo (AOT)	3.205 ± 0.068	3.121	3.331	1.00 ± 0.02

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 82.45614% with 10 lines in your changes missing coverage. Please review.

Project coverage is 82.64%. Comparing base (2b945fc) to head (bb890c3).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
src/compiler.rs	82.45%	10 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #775   +/-   ##
=======================================
  Coverage   82.63%   82.64%           
=======================================
  Files         117      117           
  Lines       33505    33522   +17     
=======================================
+ Hits        27687    27703   +16     
- Misses       5818     5819    +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.