egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
GitHub Actions run
CPU Simulation
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
22 hours ago
90623a9
saulshanabrook:let-bindings-again
pull_request
Compare
Base
Search a run
Head
Serialize let bindings
#701
saulshanabrook:let-bindings-again
22 hours ago
CPU Simulation
Compare
Suggested base runs:
Pull Request Base
•
Parent Commit
Benchmarks
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark
1.5 s
print-function
benches/example_benchmarks.rs::benches::criterion_benchmark
1.5 ms
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark
4.8 s
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark
265 ms
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark
2.8 s
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark
473.8 ms
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmark
3.8 ms
extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmark
101.3 ms
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark
259.8 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark
80.5 ms
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark
8.7 s
Ignored
array
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
26.6 ms
bdd
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
14.2 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.9 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.8 ms
bignum
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.1 ms
multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
3.5 ms
merge_read
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
492.3 µs
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.9 ms
name-resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.3 ms
naturals
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
3.5 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.8 ms
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
912.4 µs
path-union
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.5 ms
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
31 ms
repro-typechecking-schedule
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
425 µs
calc
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
6.1 ms
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.3 ms
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1 ms
resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
4.8 ms
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.7 ms
path
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.3 ms
primitives
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
741.5 µs
combinators
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
20 ms
repro-unsound-htutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1 ms
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
718.8 µs
complex-merge-prim
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
901.6 µs
repro-unsound
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
386.7 ms
set
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.9 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.2 ms
string
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
615.3 µs
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1 ms
container-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.8 ms
prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
4 ms
combined-nested
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
931.1 µs
test-combined-steps
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
3.1 ms
test-combined
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.5 ms
cyk
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
22.6 ms
complex-merge-func
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.1 ms
subsume
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.7 ms
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
819.1 µs
type-constraints-tests
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
584.8 µs
datatypes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
787.9 µs
points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.8 ms
tricky-type-checking
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
12.8 ms
towers-of-hanoi
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
3.5 ms
repro-empty-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
662.5 µs
string_quotes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
502.7 µs
until
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
3.3 ms
unification-points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
10.7 ms
unstable-fn
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
6.6 ms
typecheck
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
7 ms
repro-new-backend-python-vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
179.8 ms
unify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.2 ms
repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
10.3 ms
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
873.7 µs
eqsat-basic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.9 ms
repro-new-backend-prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
835.4 µs
vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.9 ms
eqsolve
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
31.7 ms
delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
662.7 µs
repro-primitive-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
754.5 µs
f64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.3 ms
repro-equal-constant
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
701.2 µs
repro-equal-constant2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
712 µs
fibonacci-demand
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.3 ms
interval
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2 ms
repro-noteqbug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
898.6 µs
intersection
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2.9 ms
fail_wrong_assertion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.6 ms
include
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.3 ms
repro-should-saturate
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
613 µs
repro-silly-panic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
959.6 µs
repro-querybug2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
754 µs
repro-new-backend-delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
535.3 µs
repro-querybug3
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
2 ms
fibonacci
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.2 ms
i64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
411.7 µs
eqsat-basic-multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
4.2 ms
repro-querybug4
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
785 µs
knapsack
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
7.8 ms
integer_math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
13.4 ms
repro-querybug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.1 ms
fusion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
22.4 ms
levenshtein-distance
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
19.4 ms
herbie-tutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
9.3 ms
map
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
795.6 µs
math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
38.6 ms
merge-saturates
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
3.3 ms
list
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
4.9 ms
matrix
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
10.1 ms
looking_up_nonconstructor_in_rewrite_good
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
644.6 µs
merge-during-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
1.3 ms
looking_up_global
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
576.1 µs
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs