Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Rebuild only when union find changes

#848
Comparing
oflatt-rebuild-on-read
(
f272189
) with
main
(
21b99b6
)
CodSpeed Performance Gauge
+17%
Improvement
10
Untouched
28
New
2
Skipped
190

Benchmarks

230 total
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+17%
256.3 ms218.5 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+15%
275.4 ms238.5 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+11%
622.2 µs559.2 µs
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
78.6 ms71.8 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
37.1 ms34 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
78.4 ms72 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
239.2 ms219.9 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+9%
275.1 ms253.2 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+7%
6.9 s6.5 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
21.4 ms20.4 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A586.9 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A532.7 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
1.1 s1 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
23.2 ms22.1 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+5%
412.5 µs394.1 µs
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
5.6 s5.3 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
717 ms692.3 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
38.7 ms37.5 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+3%
31.5 ms30.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
11 ms10.8 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
8.2 ms8.1 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
287.4 ms283.1 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
289 ms286 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
288.6 ms286.6 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.1 s2 s

Commits

Click on a commit to change the comparison range
Base
main
21b99b6
+0.01%
luminal llama benchmark
2fed87b
3 days ago
by oflatt
-0.08%
luminal in workflow
e489492
3 days ago
by oflatt
+17.39%
rebuild when uf changes optimization
da26d7c
3 days ago
by oflatt
-0.01%
snapshot
61ee4e9
3 days ago
by oflatt
0%
luminal test with schedule
935de4b
2 days ago
by oflatt
+0.01%
snapshot and comments
f272189
2 days ago
by oflatt
© 2026 CodSpeed Technology
Home Terms Privacy Docs