Benchmarks
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunifycreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::arraycreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bddcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofscreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bignumcreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::birewritecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwisecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::boolcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::calccreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::combinatorscreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nestedcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuildcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::cykcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjsoncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypescreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::deletecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extractioncreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basiccreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multisetcreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolvecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-benchcreated11 days ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::f64created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertioncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonaccicreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demandcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fusioncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::herbiecreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorialcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::i64created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::includecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_mathcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::intersectioncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::intervalcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsackcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::lambdacreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distancecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::listcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_globalcreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_goodcreated29 days ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::mapcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::mathcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmarkcreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::matrixcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuildcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturatescreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge_readcreated20 days ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::multisetcreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolutioncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::pathcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::path-unioncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproofcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::points-tocreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::primitivescreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::primscreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::push-popcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimizecreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-definecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-querycreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constantcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbugcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-querycreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybugcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4created2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturatecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-paniccreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedulecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsoundcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorialcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequalcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::resolutioncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysiscreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-democreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::setcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_functioncreated20 days ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stratifiedcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_exprcreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stringcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotescreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::subsumecreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combinedcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-stepscreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoicreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checkingcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-testscreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheckcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfercreated2 months ago
, last run6 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-tocreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unifycreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fncreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::untilcreated2 months ago
, last acknowledgement2 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::veccreated2 months ago
, last acknowledgement2 months ago
© 2024 CodSpeed Technology