[Serra-Emu] Fix some libfuncs

[FrancoGiachetta]

Checklist

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

[github-actions[bot]]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	5.158 ± 0.025	5.127	5.196	1.01 ± 0.02
base dict_insert.cairo (AOT)	5.119 ± 0.074	5.011	5.236	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	5.130 ± 0.060	5.076	5.277	1.02 ± 0.01
head dict_insert.cairo (AOT)	5.047 ± 0.045	4.976	5.115	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	5.154 ± 0.066	5.025	5.231	1.03 ± 0.02
base dict_snapshot.cairo (AOT)	5.000 ± 0.063	4.914	5.097	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	5.014 ± 0.046	4.939	5.117	1.02 ± 0.01
head dict_snapshot.cairo (AOT)	4.917 ± 0.022	4.887	4.956	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	5.502 ± 0.052	5.431	5.622	1.02 ± 0.01
base factorial_2M.cairo (AOT)	5.414 ± 0.035	5.360	5.461	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	5.357 ± 0.037	5.314	5.426	1.01 ± 0.01
head factorial_2M.cairo (AOT)	5.326 ± 0.029	5.275	5.375	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	5.051 ± 0.116	4.880	5.223	1.05 ± 0.02
base fib_2M.cairo (AOT)	4.829 ± 0.018	4.803	4.857	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	4.849 ± 0.041	4.806	4.904	1.00
head fib_2M.cairo (AOT)	4.883 ± 0.068	4.773	4.980	1.01 ± 0.02

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	5.186 ± 0.051	5.106	5.259	1.03 ± 0.01
base linear_search.cairo (AOT)	5.014 ± 0.033	4.959	5.071	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	5.070 ± 0.018	5.040	5.099	1.02 ± 0.01
head linear_search.cairo (AOT)	4.955 ± 0.049	4.880	5.042	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	5.175 ± 0.049	5.107	5.270	1.00
base logistic_map.cairo (AOT)	5.207 ± 0.094	5.056	5.364	1.01 ± 0.02

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	5.180 ± 0.061	5.072	5.273	1.02 ± 0.02
head logistic_map.cairo (AOT)	5.099 ± 0.082	5.020	5.254	1.00

[github-actions[bot]]

Benchmarking results

Benchmark for program dict_insert

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.673 ± 0.042	11.597	11.714	2.29 ± 0.02
cairo-native (embedded AOT)	5.088 ± 0.040	5.026	5.152	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	5.126 ± 0.030	5.082	5.176	1.01 ± 0.01

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	844.6 ± 26.1	823.4	912.0	1.00
cairo-native (embedded AOT)	5017.0 ± 57.4	4935.7	5128.8	5.94 ± 0.20
cairo-native (embedded JIT using LLVM's ORC Engine)	5111.0 ± 54.3	5042.8	5220.0	6.05 ± 0.20

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	5.362 ± 0.050	5.327	5.498	1.00
cairo-native (embedded AOT)	5.455 ± 0.049	5.369	5.514	1.02 ± 0.01
cairo-native (embedded JIT using LLVM's ORC Engine)	5.504 ± 0.060	5.434	5.642	1.03 ± 0.01

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	5.148 ± 0.020	5.116	5.186	1.04 ± 0.02
cairo-native (embedded AOT)	4.947 ± 0.081	4.846	5.071	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	4.958 ± 0.042	4.878	5.020	1.00 ± 0.02

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	846.7 ± 6.5	837.0	854.9	1.00
cairo-native (embedded AOT)	5011.3 ± 51.4	4966.6	5106.4	5.92 ± 0.08
cairo-native (embedded JIT using LLVM's ORC Engine)	5227.3 ± 59.9	5147.8	5317.0	6.17 ± 0.09

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	567.2 ± 10.9	552.5	585.5	1.00
cairo-native (embedded AOT)	5120.7 ± 41.5	5064.0	5189.4	9.03 ± 0.19
cairo-native (embedded JIT using LLVM's ORC Engine)	5313.3 ± 50.4	5226.0	5380.3	9.37 ± 0.20

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 80.62%. Comparing base (a51d1b5) to head (30c46c1).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1223   +/-   ##
=======================================
  Coverage   80.62%   80.62%           
=======================================
  Files         110      110           
  Lines       29777    29777           
=======================================
  Hits        24007    24007           
  Misses       5770     5770           

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

:rocket: New features to boost your workflow:

• :snowflake: Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[github-actions[bot]]

✅ Code is now correctly formatted.

[FrancoGiachetta]

Question answered.

[FrancoGiachetta]

Description added