egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Propagate dirty ids through nested containers
#888
Merged
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
No successful run was found on
main
(
36de434
) during the generation of this report, so
8c1c70b
was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Regression
Improvement
New
Untouched
Skipped
241 total
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-8%
1.5 s
1.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+63%
440.2 ms
270.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+38%
280.7 ms
202.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-herbie-vanilla]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
N/A
N/A
1.4 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
168.3 ms
164 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
108.1 ms
105.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8 s
8 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
627.6 ms
627.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s
1.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.1 s
12.2 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
16.3 ms
16.3 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%
286.9 ms
287.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
24.9 ms
25 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
74.3 ms
74.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
128.5 ms
129.6 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
-1%
548.5 µs
553.1 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
76.3 ms
77 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
-1%
34.6 ms
35 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
10 s
10.1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
1.5 s
1.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
8.4 ms
8.6 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
-3%
12.7 ms
13.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
5.3 s
5.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
963.9 ms
1,002.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
2.9 s
3.1 s
1
2
3
4
5
...
10
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