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

Propagate dirty ids through nested containers

#888Merged
Comparing
saulshanabrook:codex/split-nested-container-dirty-closure
(
194d3ef
) with
main
(
8c1c70b
)
CodSpeed Performance Gauge
+27%
Improvement
2
Regression
1
Untouched
22
New
1
Skipped
215

Benchmarks

241 total
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-8%
1.5 s1.7 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+63%
440.2 ms270.9 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+38%
280.7 ms202.8 ms
tests[repro-herbie-vanilla]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A1.4 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
168.3 ms164 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
108.1 ms105.5 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8 s8 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
627.6 ms627.6 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.1 s12.2 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
16.3 ms16.3 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
286.9 ms287.2 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
24.9 ms25 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
74.3 ms74.7 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
128.5 ms129.6 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
548.5 µs553.1 µs
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
76.3 ms77 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
34.6 ms35 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
10 s10.1 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
1.5 s1.6 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
8.4 ms8.6 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-3%
12.7 ms13.2 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
5.3 s5.5 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
963.9 ms1,002.1 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
2.9 s3.1 s

Commits

Click on a commit to change the comparison range
Base
main
8c1c70b
+27.38%
Avoid redundant dirty-id closure clone
194d3ef
6 days ago
by saulshanabrook
© 2026 CodSpeed Technology
Home Terms Privacy Docs