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