Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog
316 total
tests[antiunify]
benches/ci_benchmarking.rs::tests[antiunify]created
4 months ago
, last run
4 months ago
19
N/A
3.1 ms
tests[antiunify]
benches/ci_benchmarking.rs::tests[antiunify]created
4 months ago
, last run
4 months ago
19
N/A
2.8 ms
tests[array]
benches/ci_benchmarking.rs::tests[array]created
4 months ago
, last run
4 months ago
19
N/A
24.4 ms
tests[array]
benches/ci_benchmarking.rs::tests[array]created
4 months ago
, last run
4 months ago
19
N/A
27.2 ms
tests[bdd]
benches/ci_benchmarking.rs::tests[bdd]created
4 months ago
, last run
4 months ago
19
N/A
14.7 ms
tests[bdd]
benches/ci_benchmarking.rs::tests[bdd]created
4 months ago
, last run
4 months ago
19
N/A
18.3 ms
tests[before-proofs]
benches/ci_benchmarking.rs::tests[before-proofs]created
4 months ago
, last run
4 months ago
19
N/A
2 ms
tests[before-proofs]
benches/ci_benchmarking.rs::tests[before-proofs]created
4 months ago
, last run
4 months ago
19
N/A
2.8 ms
tests[bignum]
benches/ci_benchmarking.rs::tests[bignum]created
4 months ago
, last run
4 months ago
19
N/A
1.1 ms
tests[bignum]
benches/ci_benchmarking.rs::tests[bignum]created
4 months ago
, last run
4 months ago
19
N/A
1.1 ms
tests[birewrite]
benches/ci_benchmarking.rs::tests[birewrite]created
4 months ago
, last run
4 months ago
19
N/A
1.9 ms
tests[birewrite]
benches/ci_benchmarking.rs::tests[birewrite]created
4 months ago
, last run
4 months ago
19
N/A
2.5 ms
tests[bitwise]
benches/ci_benchmarking.rs::tests[bitwise]created
4 months ago
, last run
4 months ago
19
N/A
930.2 µs
tests[bitwise]
benches/ci_benchmarking.rs::tests[bitwise]created
4 months ago
, last run
4 months ago
19
N/A
906.8 µs
tests[bool]
benches/ci_benchmarking.rs::tests[bool]created
4 months ago
, last run
4 months ago
19
N/A
2.2 ms
tests[bool]
benches/ci_benchmarking.rs::tests[bool]created
4 months ago
, last run
4 months ago
19
N/A
1.8 ms
tests[calc]
benches/ci_benchmarking.rs::tests[calc]created
4 months ago
, last run
4 months ago
19
N/A
6.2 ms
tests[calc]
benches/ci_benchmarking.rs::tests[calc]created
4 months ago
, last run
4 months ago
19
N/A
9.5 ms
tests[combinators]
benches/ci_benchmarking.rs::tests[combinators]created
4 months ago
, last run
4 months ago
19
N/A
20.4 ms
tests[combinators]
benches/ci_benchmarking.rs::tests[combinators]created
4 months ago
, last run
4 months ago
19
N/A
22.3 ms
tests[combined-nested]
benches/ci_benchmarking.rs::tests[combined-nested]created
4 months ago
, last run
4 months ago
19
N/A
1.1 ms
tests[combined-nested]
benches/ci_benchmarking.rs::tests[combined-nested]created
4 months ago
, last run
4 months ago
19
N/A
936.8 µs
tests[complex-merge-func]
benches/ci_benchmarking.rs::tests[complex-merge-func]created
4 months ago
, last run
4 months ago
19
N/A
1.1 ms
tests[complex-merge-func]
benches/ci_benchmarking.rs::tests[complex-merge-func]created
4 months ago
, last run
4 months ago
19
N/A
1.3 ms
tests[complex-merge-prim]
benches/ci_benchmarking.rs::tests[complex-merge-prim]created
4 months ago
, last run
4 months ago
19
N/A
908.4 µs
© 2026 CodSpeed Technology
Home Terms Privacy Docs