egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Compare Runs
Base
struct LazyMapOfIndexSet:
#708
MilkBlock:im_main
9 months ago
CPU Simulation
Wall Time
Head
struct LazyMapOfIndexSet:
#708
MilkBlock:im_main
9 months ago
CPU Simulation
Wall Time
CodSpeed Performance Gauge
0%
Improvement
2
Regression
1
Untouched
207
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Regression
Improvement
Untouched
210 total
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[map]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-12%
795.7 µs
900.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+7%
2.4 ms
2.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[looking_up_global]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+6%
574.7 µs
544.3 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
568.2 ms
587.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[merge_read]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
427.2 µs
441.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-define]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
1,003.1 µs
973.9 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
1.8 ms
1.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[string_quotes]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
448.2 µs
460.8 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[delete]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
646.7 µs
631.3 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-typechecking-schedule]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
336.8 µs
329.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[type-constraints-tests]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
452.1 µs
442.4 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
3 s
2.9 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[looking_up_nonconstructor_in_rewrite_good]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
546.5 µs
535.9 µs
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-empty-query]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
690 µs
676.9 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[print-function]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
2.5 ms
2.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[complex-merge-prim]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
913.5 µs
930.2 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[complex-merge-func]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.3 ms
1.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[before-proofs]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
2.7 ms
2.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[combined-nested]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.1 ms
1.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.6 ms
1.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-new-backend-delete]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
523.4 µs
531.6 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.4 ms
1.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[fusion]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
26.9 ms
26.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-noteqbug]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1 ms
1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[calc]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
9.4 ms
9.3 ms
1
2
3
4
5
...
9
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs