egraphs-good
egglog
BlogDocsChangelog
tests[antiunify]
benches/ci_benchmarking.rs::tests[antiunify]created
21 days ago
, last run
3 days ago
0
19
3.1 ms
tests[antiunify]
benches/ci_benchmarking.rs::tests[antiunify]created
21 days ago
, last run
3 days ago
0
19
2.8 ms
tests[array]
benches/ci_benchmarking.rs::tests[array]created
21 days ago
, last run
3 days ago
0
19
27.2 ms
tests[array]
benches/ci_benchmarking.rs::tests[array]created
21 days ago
, last run
3 days ago
0
19
24.4 ms
tests[bdd]
benches/ci_benchmarking.rs::tests[bdd]created
21 days ago
, last run
3 days ago
0
19
18.3 ms
tests[bdd]
benches/ci_benchmarking.rs::tests[bdd]created
21 days ago
, last run
3 days ago
0
19
14.7 ms
tests[before-proofs]
benches/ci_benchmarking.rs::tests[before-proofs]created
21 days ago
, last run
3 days ago
0
19
2.8 ms
tests[before-proofs]
benches/ci_benchmarking.rs::tests[before-proofs]created
21 days ago
, last run
3 days ago
0
19
2 ms
tests[bignum]
benches/ci_benchmarking.rs::tests[bignum]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[bignum]
benches/ci_benchmarking.rs::tests[bignum]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[birewrite]
benches/ci_benchmarking.rs::tests[birewrite]created
21 days ago
, last run
3 days ago
0
19
1.9 ms
tests[birewrite]
benches/ci_benchmarking.rs::tests[birewrite]created
21 days ago
, last run
3 days ago
0
19
2.5 ms
tests[bitwise]
benches/ci_benchmarking.rs::tests[bitwise]created
21 days ago
, last run
3 days ago
0
19
930.2 µs
tests[bitwise]
benches/ci_benchmarking.rs::tests[bitwise]created
21 days ago
, last run
3 days ago
0
19
906.8 µs
tests[bool]
benches/ci_benchmarking.rs::tests[bool]created
21 days ago
, last run
3 days ago
0
19
1.8 ms
tests[bool]
benches/ci_benchmarking.rs::tests[bool]created
21 days ago
, last run
3 days ago
0
19
2.2 ms
tests[calc]
benches/ci_benchmarking.rs::tests[calc]created
21 days ago
, last run
3 days ago
0
19
6.2 ms
tests[calc]
benches/ci_benchmarking.rs::tests[calc]created
21 days ago
, last run
3 days ago
0
19
9.5 ms
tests[combinators]
benches/ci_benchmarking.rs::tests[combinators]created
21 days ago
, last run
3 days ago
0
19
20.4 ms
tests[combinators]
benches/ci_benchmarking.rs::tests[combinators]created
21 days ago
, last run
3 days ago
0
19
22.3 ms
tests[combined-nested]
benches/ci_benchmarking.rs::tests[combined-nested]created
21 days ago
, last run
3 days ago
0
19
936.8 µs
tests[combined-nested]
benches/ci_benchmarking.rs::tests[combined-nested]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[complex-merge-func]
benches/ci_benchmarking.rs::tests[complex-merge-func]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[complex-merge-func]
benches/ci_benchmarking.rs::tests[complex-merge-func]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[complex-merge-prim]
benches/ci_benchmarking.rs::tests[complex-merge-prim]created
21 days ago
, last run
3 days ago
0
19
908.4 µs
tests[complex-merge-prim]
benches/ci_benchmarking.rs::tests[complex-merge-prim]created
21 days ago
, last run
3 days ago
0
19
935.4 µs
tests[container-rebuild]
benches/ci_benchmarking.rs::tests[container-rebuild]created
21 days ago
, last run
3 days ago
0
19
5.3 ms
tests[container-rebuild]
benches/ci_benchmarking.rs::tests[container-rebuild]created
21 days ago
, last run
3 days ago
0
19
2.8 ms
tests[cyk]
benches/ci_benchmarking.rs::tests[cyk]created
21 days ago
, last run
3 days ago
0
19
19.7 ms
tests[cyk]
benches/ci_benchmarking.rs::tests[cyk]created
21 days ago
, last run
3 days ago
0
19
13.7 ms
tests[cykjson]
benches/ci_benchmarking.rs::tests[cykjson]created
21 days ago
, last run
3 days ago
0
61
488.9 ms
tests[cykjson]
benches/ci_benchmarking.rs::tests[cykjson]created
21 days ago
, last run
3 days ago
0
61
313.7 ms
tests[datatypes]
benches/ci_benchmarking.rs::tests[datatypes]created
21 days ago
, last run
3 days ago
0
19
690.8 µs
tests[datatypes]
benches/ci_benchmarking.rs::tests[datatypes]created
21 days ago
, last run
3 days ago
0
19
776 µs
tests[delete]
benches/ci_benchmarking.rs::tests[delete]created
21 days ago
, last run
3 days ago
0
19
666.1 µs
tests[delete]
benches/ci_benchmarking.rs::tests[delete]created
21 days ago
, last run
3 days ago
0
19
639.4 µs
tests[eggcc-extraction]
benches/ci_benchmarking.rs::tests[eggcc-extraction]created
21 days ago
, last run
3 days ago
0
61
2.4 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs::tests[eggcc-extraction]created
21 days ago
, last run
3 days ago
0
61
2.5 s
tests[eqsat-basic-multiset]
benches/ci_benchmarking.rs::tests[eqsat-basic-multiset]created
21 days ago
, last run
3 days ago
0
19
4.3 ms
tests[eqsat-basic-multiset]
benches/ci_benchmarking.rs::tests[eqsat-basic-multiset]created
21 days ago
, last run
3 days ago
0
19
5.3 ms
tests[eqsat-basic]
benches/ci_benchmarking.rs::tests[eqsat-basic]created
21 days ago
, last run
3 days ago
0
19
1.9 ms
tests[eqsat-basic]
benches/ci_benchmarking.rs::tests[eqsat-basic]created
21 days ago
, last run
3 days ago
0
19
2.3 ms
tests[eqsolve]
benches/ci_benchmarking.rs::tests[eqsolve]created
21 days ago
, last run
3 days ago
0
19
28.6 ms
tests[eqsolve]
benches/ci_benchmarking.rs::tests[eqsolve]created
21 days ago
, last run
3 days ago
0
19
32.6 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs::tests[extract-vec-bench]created
21 days ago
, last run
3 days ago
0
61
100.1 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs::tests[extract-vec-bench]created
21 days ago
, last run
3 days ago
0
61
97.5 ms
tests[f64]
benches/ci_benchmarking.rs::tests[f64]created
21 days ago
, last run
3 days ago
0
19
1.4 ms
tests[f64]
benches/ci_benchmarking.rs::tests[f64]created
21 days ago
, last run
3 days ago
0
19
1.4 ms
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs::tests[fail_wrong_assertion]created
21 days ago
, last run
3 days ago
0
19
1.6 ms
tests[fail_wrong_assertion]
benches/ci_benchmarking.rs::tests[fail_wrong_assertion]created
21 days ago
, last run
3 days ago
0
19
1.8 ms
tests[fibonacci-demand]
benches/ci_benchmarking.rs::tests[fibonacci-demand]created
21 days ago
, last run
3 days ago
0
19
3.3 ms
tests[fibonacci-demand]
benches/ci_benchmarking.rs::tests[fibonacci-demand]created
21 days ago
, last run
3 days ago
0
19
2.3 ms
tests[fibonacci]
benches/ci_benchmarking.rs::tests[fibonacci]created
21 days ago
, last run
3 days ago
0
19
1.4 ms
tests[fibonacci]
benches/ci_benchmarking.rs::tests[fibonacci]created
21 days ago
, last run
3 days ago
0
19
1.2 ms
tests[fusion]
benches/ci_benchmarking.rs::tests[fusion]created
21 days ago
, last run
3 days ago
0
19
27.8 ms
tests[fusion]
benches/ci_benchmarking.rs::tests[fusion]created
21 days ago
, last run
3 days ago
0
19
23.1 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs::tests[herbie-tutorial]created
21 days ago
, last run
3 days ago
0
61
8.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs::tests[herbie-tutorial]created
21 days ago
, last run
3 days ago
0
61
10.8 ms
tests[herbie]
benches/ci_benchmarking.rs::tests[herbie]created
21 days ago
, last run
3 days ago
0
61
271.2 ms
tests[herbie]
benches/ci_benchmarking.rs::tests[herbie]created
21 days ago
, last run
3 days ago
0
61
298.7 ms
tests[i64]
benches/ci_benchmarking.rs::tests[i64]created
21 days ago
, last run
3 days ago
0
19
304.2 µs
tests[i64]
benches/ci_benchmarking.rs::tests[i64]created
21 days ago
, last run
3 days ago
0
19
411.2 µs
tests[include]
benches/ci_benchmarking.rs::tests[include]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[include]
benches/ci_benchmarking.rs::tests[include]created
21 days ago
, last run
3 days ago
0
19
1.8 ms
tests[integer_math]
benches/ci_benchmarking.rs::tests[integer_math]created
21 days ago
, last run
3 days ago
0
19
14.1 ms
tests[integer_math]
benches/ci_benchmarking.rs::tests[integer_math]created
21 days ago
, last run
3 days ago
0
19
13.4 ms
tests[intersection]
benches/ci_benchmarking.rs::tests[intersection]created
21 days ago
, last run
3 days ago
0
19
4.8 ms
tests[intersection]
benches/ci_benchmarking.rs::tests[intersection]created
21 days ago
, last run
3 days ago
0
19
2.9 ms
tests[interval]
benches/ci_benchmarking.rs::tests[interval]created
21 days ago
, last run
3 days ago
0
19
2.6 ms
tests[interval]
benches/ci_benchmarking.rs::tests[interval]created
21 days ago
, last run
3 days ago
0
19
2 ms
tests[knapsack]
benches/ci_benchmarking.rs::tests[knapsack]created
21 days ago
, last run
3 days ago
0
19
11.2 ms
tests[knapsack]
benches/ci_benchmarking.rs::tests[knapsack]created
21 days ago
, last run
3 days ago
0
19
8 ms
tests[lambda]
benches/ci_benchmarking.rs::tests[lambda]created
21 days ago
, last run
3 days ago
0
19
113.6 ms
tests[lambda]
benches/ci_benchmarking.rs::tests[lambda]created
21 days ago
, last run
3 days ago
0
19
82.7 ms
tests[levenshtein-distance]
benches/ci_benchmarking.rs::tests[levenshtein-distance]created
21 days ago
, last run
3 days ago
0
19
29.2 ms
tests[levenshtein-distance]
benches/ci_benchmarking.rs::tests[levenshtein-distance]created
21 days ago
, last run
3 days ago
0
19
20 ms
tests[list]
benches/ci_benchmarking.rs::tests[list]created
21 days ago
, last run
3 days ago
0
19
4.9 ms
tests[list]
benches/ci_benchmarking.rs::tests[list]created
21 days ago
, last run
3 days ago
0
19
7.1 ms
tests[looking_up_global]
benches/ci_benchmarking.rs::tests[looking_up_global]created
21 days ago
, last run
3 days ago
0
19
536.5 µs
tests[looking_up_global]
benches/ci_benchmarking.rs::tests[looking_up_global]created
21 days ago
, last run
3 days ago
0
19
573.9 µs
tests[looking_up_nonconstructor_in_rewrite_good]
benches/ci_benchmarking.rs::tests[looking_up_nonconstructor_in_rewrite_good]created
21 days ago
, last run
3 days ago
0
19
638.7 µs
tests[looking_up_nonconstructor_in_rewrite_good]
benches/ci_benchmarking.rs::tests[looking_up_nonconstructor_in_rewrite_good]created
21 days ago
, last run
3 days ago
0
19
810.9 µs
tests[map]
benches/ci_benchmarking.rs::tests[map]created
21 days ago
, last run
3 days ago
0
19
854.8 µs
tests[map]
benches/ci_benchmarking.rs::tests[map]created
21 days ago
, last run
3 days ago
0
19
787.6 µs
tests[math-microbenchmark]
benches/ci_benchmarking.rs::tests[math-microbenchmark]created
21 days ago
, last run
3 days ago
0
61
8.5 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs::tests[math-microbenchmark]created
21 days ago
, last run
3 days ago
0
61
8.4 s
tests[math]
benches/ci_benchmarking.rs::tests[math]created
21 days ago
, last run
3 days ago
0
19
38.6 ms
tests[math]
benches/ci_benchmarking.rs::tests[math]created
21 days ago
, last run
3 days ago
0
19
36.2 ms
tests[matrix]
benches/ci_benchmarking.rs::tests[matrix]created
21 days ago
, last run
3 days ago
0
19
14 ms
tests[matrix]
benches/ci_benchmarking.rs::tests[matrix]created
21 days ago
, last run
3 days ago
0
19
10.3 ms
tests[merge-during-rebuild]
benches/ci_benchmarking.rs::tests[merge-during-rebuild]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[merge-during-rebuild]
benches/ci_benchmarking.rs::tests[merge-during-rebuild]created
21 days ago
, last run
3 days ago
0
19
1.9 ms
tests[merge-saturates]
benches/ci_benchmarking.rs::tests[merge-saturates]created
21 days ago
, last run
3 days ago
0
19
9.1 ms
tests[merge-saturates]
benches/ci_benchmarking.rs::tests[merge-saturates]created
21 days ago
, last run
3 days ago
0
19
3.4 ms
tests[merge_read]
benches/ci_benchmarking.rs::tests[merge_read]created
21 days ago
, last run
3 days ago
0
19
429.8 µs
tests[merge_read]
benches/ci_benchmarking.rs::tests[merge_read]created
21 days ago
, last run
3 days ago
0
19
508.3 µs
tests[multiset]
benches/ci_benchmarking.rs::tests[multiset]created
21 days ago
, last run
3 days ago
0
19
4.4 ms
tests[multiset]
benches/ci_benchmarking.rs::tests[multiset]created
21 days ago
, last run
3 days ago
0
19
3.5 ms
tests[name-resolution]
benches/ci_benchmarking.rs::tests[name-resolution]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[name-resolution]
benches/ci_benchmarking.rs::tests[name-resolution]created
21 days ago
, last run
3 days ago
0
19
1.8 ms
tests[naturals]
benches/ci_benchmarking.rs::tests[naturals]created
21 days ago
, last run
3 days ago
0
19
6 ms
tests[naturals]
benches/ci_benchmarking.rs::tests[naturals]created
21 days ago
, last run
3 days ago
0
19
3.6 ms
tests[path-union]
benches/ci_benchmarking.rs::tests[path-union]created
21 days ago
, last run
3 days ago
0
19
1.5 ms
tests[path-union]
benches/ci_benchmarking.rs::tests[path-union]created
21 days ago
, last run
3 days ago
0
19
2 ms
tests[path]
benches/ci_benchmarking.rs::tests[path]created
21 days ago
, last run
3 days ago
0
19
1.7 ms
tests[path]
benches/ci_benchmarking.rs::tests[path]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[pathproof]
benches/ci_benchmarking.rs::tests[pathproof]created
21 days ago
, last run
3 days ago
0
19
2 ms
tests[pathproof]
benches/ci_benchmarking.rs::tests[pathproof]created
21 days ago
, last run
3 days ago
0
19
1.7 ms
tests[points-to]
benches/ci_benchmarking.rs::tests[points-to]created
21 days ago
, last run
3 days ago
0
19
2.8 ms
tests[points-to]
benches/ci_benchmarking.rs::tests[points-to]created
21 days ago
, last run
3 days ago
0
19
4 ms
tests[primitives]
benches/ci_benchmarking.rs::tests[primitives]created
21 days ago
, last run
3 days ago
0
19
663.9 µs
tests[primitives]
benches/ci_benchmarking.rs::tests[primitives]created
21 days ago
, last run
3 days ago
0
19
753 µs
tests[prims]
benches/ci_benchmarking.rs::tests[prims]created
21 days ago
, last run
3 days ago
0
19
5.5 ms
tests[prims]
benches/ci_benchmarking.rs::tests[prims]created
21 days ago
, last run
3 days ago
0
19
4 ms
tests[print-function]
benches/ci_benchmarking.rs::tests[print-function]created
21 days ago
, last run
3 days ago
0
19
2.6 ms
tests[print-function]
benches/ci_benchmarking.rs::tests[print-function]created
21 days ago
, last run
3 days ago
0
19
1.4 ms
tests[push-pop]
benches/ci_benchmarking.rs::tests[push-pop]created
21 days ago
, last run
3 days ago
0
19
863.3 µs
tests[push-pop]
benches/ci_benchmarking.rs::tests[push-pop]created
21 days ago
, last run
3 days ago
0
19
821 µs
tests[python_array_optimize]
benches/ci_benchmarking.rs::tests[python_array_optimize]created
21 days ago
, last run
3 days ago
0
60
6.8 s
tests[python_array_optimize]
benches/ci_benchmarking.rs::tests[python_array_optimize]created
21 days ago
, last run
3 days ago
0
60
8.1 s
tests[rat-pow-eval]
benches/ci_benchmarking.rs::tests[rat-pow-eval]created
21 days ago
, last run
3 days ago
0
19
4.8 ms
tests[rat-pow-eval]
benches/ci_benchmarking.rs::tests[rat-pow-eval]created
21 days ago
, last run
3 days ago
0
19
3.9 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs::tests[repro-665-set-union]created
19 days ago
, last run
3 days ago
0
60
1 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs::tests[repro-665-set-union]created
19 days ago
, last run
3 days ago
0
60
734.3 ms
tests[repro-define]
benches/ci_benchmarking.rs::tests[repro-define]created
21 days ago
, last run
3 days ago
0
19
1 ms
tests[repro-define]
benches/ci_benchmarking.rs::tests[repro-define]created
21 days ago
, last run
3 days ago
0
19
881.6 µs
tests[repro-desugar-143]
benches/ci_benchmarking.rs::tests[repro-desugar-143]created
21 days ago
, last run
3 days ago
0
19
9.3 ms
tests[repro-desugar-143]
benches/ci_benchmarking.rs::tests[repro-desugar-143]created
21 days ago
, last run
3 days ago
0
19
12.4 ms
tests[repro-empty-query]
benches/ci_benchmarking.rs::tests[repro-empty-query]created
21 days ago
, last run
3 days ago
0
19
650.7 µs
tests[repro-empty-query]
benches/ci_benchmarking.rs::tests[repro-empty-query]created
21 days ago
, last run
3 days ago
0
19
688 µs
tests[repro-equal-constant2]
benches/ci_benchmarking.rs::tests[repro-equal-constant2]created
21 days ago
, last run
3 days ago
0
19
655.8 µs
tests[repro-equal-constant2]
benches/ci_benchmarking.rs::tests[repro-equal-constant2]created
21 days ago
, last run
3 days ago
0
19
715 µs
tests[repro-equal-constant]
benches/ci_benchmarking.rs::tests[repro-equal-constant]created
21 days ago
, last run
3 days ago
0
19
609.3 µs
tests[repro-equal-constant]
benches/ci_benchmarking.rs::tests[repro-equal-constant]created
21 days ago
, last run
3 days ago
0
19
702.8 µs
tests[repro-new-backend-delete]
benches/ci_benchmarking.rs::tests[repro-new-backend-delete]created
21 days ago
, last run
3 days ago
0
19
515.3 µs
tests[repro-new-backend-delete]
benches/ci_benchmarking.rs::tests[repro-new-backend-delete]created
21 days ago
, last run
3 days ago
0
19
544.7 µs
tests[repro-new-backend-prims]
benches/ci_benchmarking.rs::tests[repro-new-backend-prims]created
21 days ago
, last run
3 days ago
0
19
824.4 µs
tests[repro-new-backend-prims]
benches/ci_benchmarking.rs::tests[repro-new-backend-prims]created
21 days ago
, last run
3 days ago
0
19
876.1 µs
tests[repro-new-backend-python-vec]
benches/ci_benchmarking.rs::tests[repro-new-backend-python-vec]created
21 days ago
, last run
3 days ago
0
19
181.9 ms
tests[repro-new-backend-python-vec]
benches/ci_benchmarking.rs::tests[repro-new-backend-python-vec]created
21 days ago
, last run
3 days ago
0
19
243 ms
tests[repro-noteqbug]
benches/ci_benchmarking.rs::tests[repro-noteqbug]created
21 days ago
, last run
3 days ago
0
19
1 ms
tests[repro-noteqbug]
benches/ci_benchmarking.rs::tests[repro-noteqbug]created
21 days ago
, last run
3 days ago
0
19
921.8 µs
tests[repro-primitive-query]
benches/ci_benchmarking.rs::tests[repro-primitive-query]created
21 days ago
, last run
3 days ago
0
19
749.4 µs
tests[repro-primitive-query]
benches/ci_benchmarking.rs::tests[repro-primitive-query]created
21 days ago
, last run
3 days ago
0
19
814.7 µs
tests[repro-querybug2]
benches/ci_benchmarking.rs::tests[repro-querybug2]created
21 days ago
, last run
3 days ago
0
19
760.8 µs
tests[repro-querybug2]
benches/ci_benchmarking.rs::tests[repro-querybug2]created
21 days ago
, last run
3 days ago
0
19
848.5 µs
tests[repro-querybug3]
benches/ci_benchmarking.rs::tests[repro-querybug3]created
21 days ago
, last run
3 days ago
0
19
2 ms
tests[repro-querybug3]
benches/ci_benchmarking.rs::tests[repro-querybug3]created
21 days ago
, last run
3 days ago
0
19
2.4 ms
tests[repro-querybug4]
benches/ci_benchmarking.rs::tests[repro-querybug4]created
21 days ago
, last run
3 days ago
0
19
894 µs
tests[repro-querybug4]
benches/ci_benchmarking.rs::tests[repro-querybug4]created
21 days ago
, last run
3 days ago
0
19
800 µs
tests[repro-querybug]
benches/ci_benchmarking.rs::tests[repro-querybug]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[repro-querybug]
benches/ci_benchmarking.rs::tests[repro-querybug]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[repro-should-saturate]
benches/ci_benchmarking.rs::tests[repro-should-saturate]created
21 days ago
, last run
3 days ago
0
19
614.6 µs
tests[repro-should-saturate]
benches/ci_benchmarking.rs::tests[repro-should-saturate]created
21 days ago
, last run
3 days ago
0
19
546.3 µs
tests[repro-silly-panic]
benches/ci_benchmarking.rs::tests[repro-silly-panic]created
21 days ago
, last run
3 days ago
0
19
961.8 µs
tests[repro-silly-panic]
benches/ci_benchmarking.rs::tests[repro-silly-panic]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[repro-typechecking-schedule]
benches/ci_benchmarking.rs::tests[repro-typechecking-schedule]created
21 days ago
, last run
3 days ago
0
19
435.7 µs
tests[repro-typechecking-schedule]
benches/ci_benchmarking.rs::tests[repro-typechecking-schedule]created
21 days ago
, last run
3 days ago
0
19
324.5 µs
tests[repro-unsound-htutorial]
benches/ci_benchmarking.rs::tests[repro-unsound-htutorial]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[repro-unsound-htutorial]
benches/ci_benchmarking.rs::tests[repro-unsound-htutorial]created
21 days ago
, last run
3 days ago
0
19
1 ms
tests[repro-unsound]
benches/ci_benchmarking.rs::tests[repro-unsound]created
21 days ago
, last run
3 days ago
0
19
309.5 ms
tests[repro-unsound]
benches/ci_benchmarking.rs::tests[repro-unsound]created
21 days ago
, last run
3 days ago
0
19
381.2 ms
tests[repro-vec-unequal]
benches/ci_benchmarking.rs::tests[repro-vec-unequal]created
21 days ago
, last run
3 days ago
0
19
1.3 ms
tests[repro-vec-unequal]
benches/ci_benchmarking.rs::tests[repro-vec-unequal]created
21 days ago
, last run
3 days ago
0
19
1.1 ms
tests[resolution]
benches/ci_benchmarking.rs::tests[resolution]created
21 days ago
, last run
3 days ago
0
19
6.6 ms
tests[resolution]
benches/ci_benchmarking.rs::tests[resolution]created
21 days ago
, last run
3 days ago
0
19
4.9 ms
tests[rw-analysis]
benches/ci_benchmarking.rs::tests[rw-analysis]created
21 days ago
, last run
3 days ago
0
19
34.8 ms
tests[rw-analysis]
benches/ci_benchmarking.rs::tests[rw-analysis]created
21 days ago
, last run
3 days ago
0
19
29.5 ms
tests[schedule-demo]
benches/ci_benchmarking.rs::tests[schedule-demo]created
21 days ago
, last run
3 days ago
0
19
4.4 ms
tests[schedule-demo]
benches/ci_benchmarking.rs::tests[schedule-demo]created
21 days ago
, last run
3 days ago
0
19
2.4 ms
tests[set]
benches/ci_benchmarking.rs::tests[set]created
21 days ago
, last run
3 days ago
0
19
2.9 ms
tests[set]
benches/ci_benchmarking.rs::tests[set]created
21 days ago
, last run
3 days ago
0
19
3.6 ms
tests[set_sort_function]
benches/ci_benchmarking.rs::tests[set_sort_function]created
21 days ago
, last run
3 days ago
0
19
735.8 µs
tests[set_sort_function]
benches/ci_benchmarking.rs::tests[set_sort_function]created
21 days ago
, last run
3 days ago
0
19
836.3 µs
tests[stratified]
benches/ci_benchmarking.rs::tests[stratified]created
21 days ago
, last run
3 days ago
0
19
1.2 ms
tests[stratified]
benches/ci_benchmarking.rs::tests[stratified]created
21 days ago
, last run
3 days ago
0
19
1.6 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs::tests[stresstest_large_expr]created
21 days ago
, last run
3 days ago
0
61
1.5 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs::tests[stresstest_large_expr]created
21 days ago
, last run
3 days ago
0
61
1.6 s
tests[string]
benches/ci_benchmarking.rs::tests[string]created
21 days ago
, last run
3 days ago
0
19
534.4 µs
tests[string]
benches/ci_benchmarking.rs::tests[string]created
21 days ago
, last run
3 days ago
0
19
625.4 µs
tests[string_quotes]
benches/ci_benchmarking.rs::tests[string_quotes]created
21 days ago
, last run
3 days ago
0
19
505.7 µs
tests[string_quotes]
benches/ci_benchmarking.rs::tests[string_quotes]created
21 days ago
, last run
3 days ago
0
19
482.2 µs
tests[subsume-relation]
benches/ci_benchmarking.rs::tests[subsume-relation]created
21 days ago
, last run
3 days ago
0
19
1.4 ms
tests[subsume-relation]
benches/ci_benchmarking.rs::tests[subsume-relation]created
21 days ago
, last run
3 days ago
0
19
1 ms
tests[subsume]
benches/ci_benchmarking.rs::tests[subsume]created
21 days ago
, last run
3 days ago
0
19
1.7 ms
tests[subsume]
benches/ci_benchmarking.rs::tests[subsume]created
21 days ago
, last run
3 days ago
0
19
2 ms
tests[test-combined-steps]
benches/ci_benchmarking.rs::tests[test-combined-steps]created
21 days ago
, last run
3 days ago
0
19
3.1 ms
tests[test-combined-steps]
benches/ci_benchmarking.rs::tests[test-combined-steps]created
21 days ago
, last run
3 days ago
0
19
5.5 ms
tests[test-combined]
benches/ci_benchmarking.rs::tests[test-combined]created
21 days ago
, last run
3 days ago
0
19
2.1 ms
tests[test-combined]
benches/ci_benchmarking.rs::tests[test-combined]created
21 days ago
, last run
3 days ago
0
19
1.5 ms
tests[towers-of-hanoi]
benches/ci_benchmarking.rs::tests[towers-of-hanoi]created
21 days ago
, last run
3 days ago
0
19
3.5 ms
tests[towers-of-hanoi]
benches/ci_benchmarking.rs::tests[towers-of-hanoi]created
21 days ago
, last run
3 days ago
0
19
4 ms
tests[tricky-type-checking]
benches/ci_benchmarking.rs::tests[tricky-type-checking]created
21 days ago
, last run
3 days ago
0
19
14 ms
tests[tricky-type-checking]
benches/ci_benchmarking.rs::tests[tricky-type-checking]created
21 days ago
, last run
3 days ago
0
19
16.2 ms
tests[type-constraints-tests]
benches/ci_benchmarking.rs::tests[type-constraints-tests]created
21 days ago
, last run
3 days ago
0
19
584.4 µs
tests[type-constraints-tests]
benches/ci_benchmarking.rs::tests[type-constraints-tests]created
21 days ago
, last run
3 days ago
0
19
474.5 µs
tests[typecheck]
benches/ci_benchmarking.rs::tests[typecheck]created
21 days ago
, last run
3 days ago
0
19
7.3 ms
tests[typecheck]
benches/ci_benchmarking.rs::tests[typecheck]created
21 days ago
, last run
3 days ago
0
19
10.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs::tests[typeinfer]created
21 days ago
, last run
3 days ago
0
61
309.1 ms
tests[typeinfer]
benches/ci_benchmarking.rs::tests[typeinfer]created
21 days ago
, last run
3 days ago
0
61
277.8 ms
tests[unification-points-to]
benches/ci_benchmarking.rs::tests[unification-points-to]created
21 days ago
, last run
3 days ago
0
19
16.1 ms
tests[unification-points-to]
benches/ci_benchmarking.rs::tests[unification-points-to]created
21 days ago
, last run
3 days ago
0
19
10.9 ms
tests[unify]
benches/ci_benchmarking.rs::tests[unify]created
21 days ago
, last run
3 days ago
0
19
1.2 ms
tests[unify]
benches/ci_benchmarking.rs::tests[unify]created
21 days ago
, last run
3 days ago
0
19
1.4 ms
tests[unstable-fn]
benches/ci_benchmarking.rs::tests[unstable-fn]created
21 days ago
, last run
3 days ago
0
19
6.7 ms
tests[unstable-fn]
benches/ci_benchmarking.rs::tests[unstable-fn]created
21 days ago
, last run
3 days ago
0
19
10.7 ms
tests[until]
benches/ci_benchmarking.rs::tests[until]created
21 days ago
, last run
3 days ago
0
19
3.4 ms
tests[until]
benches/ci_benchmarking.rs::tests[until]created
21 days ago
, last run
3 days ago
0
19
4.7 ms
tests[vec]
benches/ci_benchmarking.rs::tests[vec]created
21 days ago
, last run
3 days ago
0
19
1.9 ms
tests[vec]
benches/ci_benchmarking.rs::tests[vec]created
21 days ago
, last run
3 days ago
0
19
2.4 ms
© 2025 CodSpeed Technology
Home Terms Privacy Docs