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

Primitive Semi-naive Matching Fix

#832Merged
Comparing
saulshanabrook:fix-container-fn-bug
(
114692b
) with
main
(
8aaecea
)
CodSpeed Performance Gauge
0%
Untouched
38
Skipped
190

Benchmarks

228 total
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
11.2 ms10.8 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
713.5 µs698.5 µs
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
290.9 ms285.8 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
303.7 ms*298.6 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
21.1 ms20.9 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
276 ms273.9 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
464.2 µs461.2 µs
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
78.4 ms78.1 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.6 s5.6 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
368.6 ms367.7 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.6 s8.6 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
253.7 ms253.4 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
37.2 ms37.2 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
4.3 s4.3 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
306.1 ms306 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
78.7 ms78.7 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.3 s5.3 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
872.7 ms872.7 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
257.3 ms257.3 ms
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
531.2 ms531.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.3 ms8.3 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
403.5 ms403.9 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
32.3 ms32.4 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
21.5 ms21.5 ms

Commits

Click on a commit to change the comparison range
Base
main
8aaecea
+0.23%
Fix function and container matching
1784b42
14 days ago
by saulshanabrook
-99.94%
Disable seminaive for query primitives
00f117d
14 days ago
by saulshanabrook
0%
Update test snapshots
5d5bee2
14 days ago
by saulshanabrook
+42.7%
Switch to binary split between stateful/stateless primitives and infer automatically
00a6ce0
14 days ago
by saulshanabrook
+47.06%
Use a persistent reverse index for container refreshes
e139d59
14 days ago
by saulshanabrook
+3.94%
Revert "Use a persistent reverse index for container refreshes"
093ca27
14 days ago
by saulshanabrook
+13.16%
Clarify container refresh flow
2172589
14 days ago
by saulshanabrook
-7.02%
Fix container rebuild review findings
790e4d7
14 days ago
by saulshanabrook
-0.07%
Document container refresh invariants
e735fcd
14 days ago
by saulshanabrook
-0.13%
Address remaining review nits
0a5a24d
14 days ago
by saulshanabrook
+0.07%
Address PR comments
114692b
10 days ago
by saulshanabrook
© 2026 CodSpeed Technology
Home Terms Privacy Docs