Add entry point info to AotContractExecutor

[edg-l]

This also allows us to filter out methods that are not contract entry points, making the JSON file significantly smaller.

Depends on #875

Fixes #885

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)	10.589 ± 0.224	10.366	10.998	23.11 ± 0.49
cairo-native (embedded AOT)	3.151 ± 0.025	3.128	3.210	6.88 ± 0.06
cairo-native (embedded JIT using LLVM's ORC Engine)	3.168 ± 0.022	3.123	3.191	6.91 ± 0.05
cairo-native (standalone AOT)	0.651 ± 0.001	0.648	0.652	1.42 ± 0.00
cairo-native (standalone AOT with -march=native)	0.458 ± 0.001	0.457	0.460	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.713 ± 0.250	10.365	10.936	1337.53 ± 32.83
cairo-native (embedded AOT)	2.663 ± 0.017	2.643	2.689	332.44 ± 3.25
cairo-native (embedded JIT using LLVM's ORC Engine)	2.717 ± 0.017	2.684	2.737	339.27 ± 3.28
cairo-native (standalone AOT)	0.008 ± 0.000	0.008	0.008	1.00 ± 0.01
cairo-native (standalone AOT with -march=native)	0.008 ± 0.000	0.008	0.009	1.00

Benchmark for program logistic_map

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.248 ± 0.035	4.195	4.309	59.52 ± 0.55
cairo-native (embedded AOT)	2.846 ± 0.024	2.812	2.889	39.87 ± 0.38
cairo-native (embedded JIT using LLVM's ORC Engine)	2.988 ± 0.017	2.953	3.014	41.86 ± 0.29
cairo-native (standalone AOT)	0.115 ± 0.001	0.114	0.121	1.61 ± 0.02
cairo-native (standalone AOT with -march=native)	0.071 ± 0.000	0.071	0.073	1.00

[github-actions]

Benchmark results Main vs HEAD.

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	3.305 ± 0.026	3.273	3.348	1.00 ± 0.01
base factorial_2M.cairo (JIT)	3.341 ± 0.028	3.293	3.373	1.01 ± 0.01
head factorial_2M.cairo (AOT)	3.293 ± 0.017	3.261	3.318	1.00
base factorial_2M.cairo (AOT)	3.308 ± 0.015	3.285	3.330	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	2.856 ± 0.032	2.799	2.907	1.01 ± 0.01
base fib_2M.cairo (JIT)	2.906 ± 0.023	2.858	2.932	1.03 ± 0.01
head fib_2M.cairo (AOT)	2.832 ± 0.023	2.797	2.867	1.00
base fib_2M.cairo (AOT)	2.844 ± 0.016	2.823	2.876	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	3.164 ± 0.022	3.136	3.197	1.05 ± 0.01
base logistic_map.cairo (JIT)	3.202 ± 0.027	3.172	3.255	1.06 ± 0.01
head logistic_map.cairo (AOT)	3.021 ± 0.029	2.987	3.069	1.00
base logistic_map.cairo (AOT)	3.035 ± 0.021	3.002	3.071	1.00 ± 0.01

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 97.56098% with 2 lines in your changes missing coverage. Please review.

Project coverage is 82.86%. Comparing base (b566791) to head (17e00e8).

Files with missing lines	Patch %	Lines
src/executor/contract.rs	95.12%	2 Missing ⚠️

Additional details and impacted files

@@                Coverage Diff                @@
##           revert_revert     #889      +/-   ##
=================================================
+ Coverage          82.83%   82.86%   +0.03%     
=================================================
  Files                120      120              
  Lines              35236    35307      +71     
=================================================
+ Hits               29187    29258      +71     
  Misses              6049     6049              

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