Muxianesty:egraph_pub_api - Branch - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

src/lib.rs: EGraph readonly pub. accessors

Comparing

Muxianesty:egraph_pub_api

(

0b84220

) with

main

(

afd5c07

)

0%

Untouched: 28

Skipped: 190

Benchmarks

218 total

tests[proof_testing_unify]

benches/ci_benchmarking.rs

+1%

21.4 ms21.2 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

78.3 ms77.7 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

0%

37.8 ms37.7 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

274.3 ms273.7 ms

tests[herbie]

benches/ci_benchmarking.rs

0%

253.9 ms253.7 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

253 ms253 ms

tests[cykjson]

benches/ci_benchmarking.rs

0%

370.1 ms370 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

2 s2 s

tests[typeinfer]

benches/ci_benchmarking.rs

0%

239.8 ms239.7 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

0%

78.8 ms78.8 ms

tests[taylor51]

benches/ci_benchmarking.rs

0%

5.3 s5.3 s

tests[cykjson]

benches/ci_benchmarking.rs

0%

531.1 ms531.1 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

8.6 s8.6 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

0%

36.5 ms36.5 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

5.6 s5.6 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

0%

1 s1 s

tests[proof_testing_unify]

benches/ci_benchmarking.rs

0%

20.5 ms20.5 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

0%

269.9 ms270.1 ms

tests[taylor51]

benches/ci_benchmarking.rs

0%

4.2 s4.2 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

7 s7 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

0%

1.6 s1.6 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

0%

8.3 ms8.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

9.2 s9.2 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

1.9 s1.9 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

0%

733.1 ms735.9 ms

Commits

Click on a commit to change the comparison range

Base

main

afd5c07

-0.04%

src/lib.rs: EGraph readonly pub. accessors

0b84220

2 days ago

by Muxianesty

© 2026 CodSpeed Technology

Home Terms Privacy Docs