ezr-oflatt-refactor-proofs-4 - Branch - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

Proofs refactors

Comparing

ezr-oflatt-refactor-proofs-4

(

337fe5b

) with

main

(

ef90b97

)

0%

Untouched: 20

Skipped: 190

Benchmarks

Skipped (190)

Passed

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+1%

1 s1 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

+1%

2.4 s2.4 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

97.5 ms97 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

0%

734.3 ms731.7 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

2.5 s2.5 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

8.1 s8.1 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

8.4 s8.4 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

6.8 s6.8 s

tests[cykjson]

benches/ci_benchmarking.rs

0%

488.9 ms488.9 ms

tests[herbie]

benches/ci_benchmarking.rs

0%

271.2 ms271.3 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

0%

1.5 s1.5 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

0%

8.7 ms8.7 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

277.8 ms278.3 ms

tests[typeinfer]

benches/ci_benchmarking.rs

0%

309.1 ms310.2 ms

tests[herbie]

benches/ci_benchmarking.rs

-1%

298.7 ms300.4 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-1%

100.1 ms100.8 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-1%

10.8 ms10.9 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

8.5 s8.6 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-2%

1.6 s1.6 s

tests[cykjson]

benches/ci_benchmarking.rs

-3%

313.7 ms321.9 ms

Commits

Click on a commit to change the comparison range

Base

main

ef90b97

-0.28%

test fails with failed to find term

337fe5b

2 months ago

by oflatt

© 2025 CodSpeed Technology

Home Terms Privacy Docs