egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
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
Different runtime environments detected
Some benchmarks with significant performance changes were compared across different runtime environments, which may affect the accuracy of the results.
Learn more about regression causes
.
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Regression
Improvement
Untouched
Skipped
240 total
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
-16%
7.7 ms
9.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-9%
67.3 ms
74.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-6%
67.5 ms
72 ms
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
-6%
26.6 ms
28.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
28.6 ms
27 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
982.1 ms
932.8 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
+2%
351.7 µs
343.9 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.7 s
1.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
138.4 ms
136.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
10.9 s
10.8 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.6 s
1.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.6 s
1.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
636.8 ms
633.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
7.8 s
7.8 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.9 s
2.9 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.1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
280.7 ms
280.7 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[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
440.1 ms
440.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
10 s
10 s
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 ms
286 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.5 s
1.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
963.4 ms
964.3 ms
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.
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
209.5 ms
210.1 ms
1
2
3
4
5
...
10
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