[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.185 ± 0.271	10.871	11.661	8.30 ± 0.20
cairo-native (embedded AOT)	3.520 ± 0.049	3.479	3.624	2.61 ± 0.04
cairo-native (embedded JIT using LLVM's ORC Engine)	3.259 ± 0.033	3.216	3.320	2.42 ± 0.02
cairo-native (standalone AOT with -march=native)	1.348 ± 0.001	1.347	1.351	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.489 ± 0.230	10.890	11.704	146.98 ± 2.97
cairo-native (embedded AOT)	3.090 ± 0.041	3.021	3.139	39.53 ± 0.54
cairo-native (embedded JIT using LLVM's ORC Engine)	2.959 ± 0.056	2.899	3.073	37.86 ± 0.72
cairo-native (standalone AOT with -march=native)	0.078 ± 0.000	0.077	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.515 ± 0.067	4.413	4.598	18.60 ± 0.28
cairo-native (embedded AOT)	3.320 ± 0.036	3.276	3.404	13.68 ± 0.15
cairo-native (embedded JIT using LLVM's ORC Engine)	3.295 ± 0.064	3.222	3.394	13.57 ± 0.26
cairo-native (standalone AOT with -march=native)	0.243 ± 0.000	0.242	0.244	1.00

[github-actions]

✅ Code is now correctly formatted.

[github-actions]

Benchmark results Main vs HEAD.

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	3.268 ± 0.046	3.206	3.361	1.02 ± 0.02
base factorial_2M.cairo (JIT)	3.208 ± 0.043	3.130	3.278	1.00
head factorial_2M.cairo (AOT)	3.416 ± 0.026	3.379	3.459	1.06 ± 0.02
base factorial_2M.cairo (AOT)	3.351 ± 0.038	3.292	3.414	1.04 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	2.826 ± 0.024	2.786	2.870	1.02 ± 0.02
base fib_2M.cairo (JIT)	2.777 ± 0.057	2.714	2.904	1.00
head fib_2M.cairo (AOT)	2.982 ± 0.032	2.945	3.062	1.07 ± 0.03
base fib_2M.cairo (AOT)	2.950 ± 0.045	2.873	3.028	1.06 ± 0.03

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	3.085 ± 0.037	3.044	3.150	1.00 ± 0.02
base logistic_map.cairo (JIT)	3.083 ± 0.038	3.009	3.137	1.00
head logistic_map.cairo (AOT)	3.211 ± 0.059	3.127	3.334	1.04 ± 0.02
base logistic_map.cairo (AOT)	3.137 ± 0.045	3.070	3.208	1.02 ± 0.02

[codecov-commenter]

Codecov Report

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

Project coverage is 82.89%. Comparing base (5b9f6ff) to head (76663d2).

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

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #775   +/-   ##
=======================================
  Coverage   82.89%   82.89%           
=======================================
  Files         120      120           
  Lines       34277    34291   +14     
=======================================
+ Hits        28414    28427   +13     
- Misses       5863     5864    +1     

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

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests