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

Add multisets

#446Merged
Comparing
saulshanabrook:multiset
(
0042f72
) with
main
(
b9f4c58
)
CodSpeed Performance Gauge
0%
Ignored
2
Archived
89

Benchmarks

91 total
rational
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
906.5 µs911.6 µs
semi_naive_set_function
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
37.9 ms37.7 ms
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
1.3 ms1.3 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
1.4 ms1.4 ms
prims
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
+1%
5.4 ms5.4 ms
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark
Archived
CodSpeed Performance Gauge
0%
6.2 s6.2 s
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
645.4 µs648.1 µs
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
-1%
672 µs676 µs
calc
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
5.4 ms5.4 ms
repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
8.3 ms8.3 ms
repro-querybug
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
954.9 µs955.4 µs
array
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
-1%
26.3 ms26.4 ms
repro-equal-constant
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
683 µs680.7 µs
bdd
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
15.1 ms15.2 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
1.6 ms1.6 ms
repro-querybug2
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
-1%
669.8 µs676.8 µs
repro-noteqbug
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
754.9 µs754.1 µs
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
713.9 µs712.8 µs
cyk
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
11.2 ms11.2 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
2.1 ms2.1 ms
container-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
2 ms2 ms
repro-equal-constant2
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
-1%
661.6 µs665 µs
repro-primitive-query
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
+1%
701.5 µs696.2 µs
combined-nested
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
0%
1 ms1 ms
repro-querybug4
benches/example_benchmarks.rs::benches::criterion_benchmark
IgnoredArchived
CodSpeed Performance Gauge
-1%
720.3 µs726.2 µs

Commits

Click on a commit to change the comparison range
Base
main
b9f4c58
-8.55%
Add multisets
23cfd61
1 year ago
by saulshanabrook
-1.37%
Combine multiset files
b6fb41c
1 year ago
by saulshanabrook
+9.68%
Switch to im from rpds
b987f89
1 year ago
by saulshanabrook
+0.07%
Cache length of multiset
f090848
1 year ago
by saulshanabrook
-0.02%
Merge branch 'main' into multiset
0042f72
1 year ago
by saulshanabrook
© 2026 CodSpeed Technology
Home Terms Privacy Docs