update implementing libfuncs doc

[edg-l]

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.964 ± 0.260	10.662	11.395	23.31 ± 0.55
cairo-native (embedded AOT)	3.249 ± 0.011	3.221	3.262	6.91 ± 0.03
cairo-native (embedded JIT using LLVM's ORC Engine)	3.268 ± 0.035	3.232	3.353	6.95 ± 0.08
cairo-native (standalone AOT)	0.680 ± 0.004	0.678	0.690	1.45 ± 0.01
cairo-native (standalone AOT with -march=native)	0.470 ± 0.001	0.469	0.471	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	11.189 ± 0.310	10.721	11.603	1378.81 ± 39.94
cairo-native (embedded AOT)	2.793 ± 0.037	2.735	2.867	344.22 ± 5.35
cairo-native (embedded JIT using LLVM's ORC Engine)	2.808 ± 0.024	2.776	2.846	345.99 ± 4.10
cairo-native (standalone AOT)	0.009 ± 0.000	0.009	0.010	1.07 ± 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.486 ± 0.058	4.424	4.623	61.77 ± 0.82
cairo-native (embedded AOT)	2.937 ± 0.020	2.898	2.963	40.44 ± 0.30
cairo-native (embedded JIT using LLVM's ORC Engine)	3.106 ± 0.016	3.077	3.124	42.76 ± 0.25
cairo-native (standalone AOT)	0.112 ± 0.000	0.112	0.113	1.55 ± 0.00
cairo-native (standalone AOT with -march=native)	0.073 ± 0.000	0.072	0.074	1.00

[github-actions]

Benchmark results Main vs HEAD.

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	3.182 ± 0.034	3.138	3.235	1.01 ± 0.02
base factorial_2M.cairo (JIT)	3.175 ± 0.015	3.155	3.205	1.01 ± 0.01
head factorial_2M.cairo (AOT)	3.145 ± 0.035	3.106	3.223	1.00
base factorial_2M.cairo (AOT)	3.147 ± 0.024	3.123	3.202	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	2.695 ± 0.024	2.653	2.726	1.02 ± 0.01
base fib_2M.cairo (JIT)	2.705 ± 0.018	2.681	2.731	1.02 ± 0.01
head fib_2M.cairo (AOT)	2.652 ± 0.016	2.628	2.681	1.00
base fib_2M.cairo (AOT)	2.668 ± 0.018	2.645	2.693	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	2.983 ± 0.038	2.944	3.063	1.06 ± 0.01
base logistic_map.cairo (JIT)	2.975 ± 0.017	2.942	3.002	1.05 ± 0.01
head logistic_map.cairo (AOT)	2.822 ± 0.016	2.804	2.847	1.00
base logistic_map.cairo (AOT)	2.865 ± 0.040	2.818	2.932	1.02 ± 0.02

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.73%. Comparing base (9db1175) to head (266dc73).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #856   +/-   ##
=======================================
  Coverage   82.73%   82.73%           
=======================================
  Files         120      120           
  Lines       34937    34937           
=======================================
  Hits        28905    28905           
  Misses       6032     6032           

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