oflatt-refactor-parallel-core-relations - Branch - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

Move the thread pool field to core-relations

#835Closed

Comparing

oflatt-refactor-parallel-core-relations

(

188fcf9

) with

oflatt-refactor-parallel

(

0c4116d

)

-24%

Regression: 7

Untouched: 21

Skipped: 190

Benchmarks

218 total

tests[proof_testing_unify]

benches/ci_benchmarking.rs

-24%

21.9 ms28.9 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

-23%

38.1 ms49.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-18%

11.8 ms14.5 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

-17%

270.6 ms325.4 ms

tests[typeinfer]

benches/ci_benchmarking.rs

-16%

282.3 ms336.7 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-13%

79.1 ms90.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-11%

1 s1.2 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

0%

80.1 ms79.9 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

0%

2 s2 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

0%

1.6 s1.6 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

0%

8.6 s8.6 s

tests[cykjson]

benches/ci_benchmarking.rs

0%

532.3 ms532.8 ms

tests[taylor51]

benches/ci_benchmarking.rs

0%

4.3 s4.3 s

tests[taylor51]

benches/ci_benchmarking.rs

0%

5.3 s5.3 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

0%

5.6 s5.6 s

tests[herbie]

benches/ci_benchmarking.rs

0%

254.3 ms255.5 ms

tests[cykjson]

benches/ci_benchmarking.rs

-1%

365 ms367.2 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

9 s9.1 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

6.8 s6.9 s

tests[herbie]

benches/ci_benchmarking.rs

-1%

296.1 ms299.7 ms

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

-1%

253.5 ms256.8 ms

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

240.1 ms243.4 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

-1%

20.8 ms21 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-2%

731.2 ms744 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-2%

1.9 s1.9 s

Commits

Click on a commit to change the comparison range

Base

oflatt-refactor-parallel

0c4116d

-40.89%

Move the thread pool to core-relations

96215f0

5 days ago

by yihozhang

-1.79%

nits

aa661ac

5 days ago

by yihozhang

+0.51%

nits

0b52240

5 days ago

by yihozhang

+17.93%

Another pass to make sure all parallelism happens within pool

188fcf9

4 days ago

by yihozhang

© 2026 CodSpeed Technology

Home Terms Privacy Docs