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

Blog Docs Changelog

Proofs refactors

Comparing

ezr-oflatt-refactor-proofs-4

(

262bfe1

) with

main

(

ef90b97

)

0%

Untouched: 20

Skipped: 190

Benchmarks

Skipped (190)

Passed

tests[repro-665-set-union]

benches/ci_benchmarking.rs

0%

1 s1 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

0%

97.5 ms97.1 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

0%

734.3 ms731.1 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

2.5 s2.5 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[stresstest_large_expr]

benches/ci_benchmarking.rs

0%

1.5 s1.6 s

tests[typeinfer]

benches/ci_benchmarking.rs

0%

277.8 ms278.5 ms

tests[herbie]

benches/ci_benchmarking.rs

0%

271.2 ms271.9 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

0%

10.8 ms10.8 ms

tests[cykjson]

benches/ci_benchmarking.rs

-1%

313.7 ms315.6 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-1%

2.4 s2.4 s

tests[herbie]

benches/ci_benchmarking.rs

-1%

298.7 ms301 ms

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

309.1 ms311.5 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-1%

100.1 ms100.9 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-1%

8.7 ms8.8 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

8.5 s8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

8.1 s8.2 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-3%

1.6 s1.6 s

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

-0.19%

Initial plumbing -- mid debugging

262bfe1

24 days ago

by ezrosent

© 2025 CodSpeed Technology

Home Terms Privacy Docs