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

Add new multiset primitives

#783
Comparing
saulshanabrook:multiset-changes
(
625f24d
) with
main
(
afd5c07
)
CodSpeed Performance Gauge
0%
Untouched
28
Skipped
190

Benchmarks

218 total
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
370.1 ms365.1 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
11 ms11 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
21.4 ms21.3 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
9.2 s9.1 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
37.8 ms37.6 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
7 s6.9 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
253.9 ms253.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
239.8 ms239.2 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
289.4 ms288.7 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
78.3 ms78.1 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
269.9 ms269.5 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
36.5 ms36.5 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.6 s5.6 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2 s2 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
733.1 ms732.3 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
20.5 ms20.4 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
253 ms252.9 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
78.8 ms78.8 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.9 s1.9 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.6 s8.6 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
4.2 s4.2 s
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.3 s5.3 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
531.1 ms531.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.3 ms8.3 ms

Commits

Click on a commit to change the comparison range
Base
main
afd5c07
+8.11%
Fix tests
55d7d16
8 days ago
by saulshanabrook
+0.05%
Try removing set no default
d319866
8 days ago
by saulshanabrook
-0.12%
update snapshots
336a8ed
8 days ago
by saulshanabrook
+0.01%
fix reserved primitives
544a8ac
8 days ago
by saulshanabrook
-0.01%
normalize use of is_eq_container_sort
bd57829
4 days ago
by saulshanabrook
-0.03%
Check abs
217f469
4 days ago
by saulshanabrook
-0.01%
Rename fold to reduce
fc02e24
4 days ago
by saulshanabrook
+0.02%
dont panic on int out of bound for multiset-single
49e9072
4 days ago
by saulshanabrook
+0.01%
Remove public backend and only expose function traversal
d2dee31
3 days ago
by saulshanabrook
-0.01%
Make functions private
66b2778
3 days ago
by saulshanabrook
-7.92%
Change `function_for_each` to take a function name instead of a function
625f24d
10 hours ago
by saulshanabrook
© 2026 CodSpeed Technology
Home Terms Privacy Docs