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

ExectionState refactor for safety wrt semi-naive

#856
Comparing
oflatt-exec-state-fix
(
7ca9e71
) with
main
(
629b0b2
)
CodSpeed Performance Gauge
-5%
Improvement
2
Regression
4
Untouched
44
Skipped
190

Benchmarks

240 total
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-16%
7.7 ms9.1 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
67.3 ms74.2 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
67.5 ms72 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-6%
26.6 ms28.2 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
28.6 ms27 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
982.1 ms932.8 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
351.7 µs343.9 µs
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.7 s1.6 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
138.4 ms136.6 ms
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
10.9 s10.8 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.6 s1.6 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.6 s1.6 s
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
636.8 ms633.7 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
7.8 s7.8 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.9 s2.9 s
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.1 s12.1 s
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
280.7 ms280.7 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8 s8 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
440.1 ms440.2 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
10 s10 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
286 ms286 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.5 s1.5 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
963.4 ms964.3 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.3 s5.3 s
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
209.5 ms210.1 ms

Commits

Click on a commit to change the comparison range
Base
main
629b0b2
-7.59%
fix CI after rebase: fmt + eggcc_2mm snapshot
0dc4cb4
4 days ago
by oflatt
+3%
Merge pull request #874 from saulshanabrook/codex/primitive-context-mask-spike
7ca9e71
2 days ago
by oflatt
© 2026 CodSpeed Technology
Home Terms Privacy Docs