egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Refactor parallelism in testing
#826
Merged
Comparing
oflatt-refactor-parallel
(
484531a
) with
main
(
21bd8c6
)
CodSpeed Performance Gauge
-6%
Regression
1
Untouched
37
Skipped
190
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Regression
Untouched
Skipped
228 total
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
38.8 ms
41.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+4%
464.2 µs
*
444.3 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+4%
303.7 ms
*
292.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
713.5 µs
*
698.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
626 ms
*
614.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
7 s
6.9 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
11.2 ms
11.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
276 ms
*
273.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
23.4 ms
*
23.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
21.1 ms
*
21 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.7 s
1.7 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
9.2 s
*
9.1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.3 s
5.3 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
288.2 ms
287.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.3 ms
8.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
21.5 ms
21.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
37.3 ms
37.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
306 ms
305.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
253.7 ms
253.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
78.8 ms
78.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
240.2 ms
240.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
32.4 ms
32.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.6 s
8.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
531.4 ms
531.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
872.7 ms
872.8 ms
1
2
3
4
5
...
10
Commits
Click on a commit to change the comparison range
Base
main
21bd8c6
-6.57%
update how pools work
7a5b553
2 months ago
by oflatt
+0.34%
make ac_test also parallel
ddc8855
2 months ago
by oflatt
-21.91%
parallelism in bridge
ce462ba
2 months ago
by oflatt
+0.69%
small fix to var names
a8b42c0
2 months ago
by oflatt
-13.39%
fix wasm build
a51b469
2 months ago
by oflatt
-0.61%
try to regain performance with fewer pool initializations
b94829f
2 months ago
by oflatt
+34.68%
maybe always pool install?
0c4116d
1 month ago
by oflatt
+6.82%
go back to global thread pool
71db615
25 days ago
by oflatt
+2.08%
nit
802c094
25 days ago
by oflatt
-1.9%
fix up common.rs
28aae0f
25 days ago
by oflatt
-0.12%
fix usage
a49b215
20 days ago
by oflatt
-6.02%
warning
484531a
20 days ago
by oflatt
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs