Benchmarks
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunifycreated10 months ago
, last run3 days ago
arrayInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::arraycreated10 months ago
, last acknowledgement10 months ago
bddInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::bddcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofscreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bignumcreated9 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::birewritecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwisecreated10 months ago
, last acknowledgement10 months ago
boolInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::boolcreated10 months ago
, last acknowledgement10 months ago
calcInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::calccreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::combinatorscreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nestedcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-funccreated2 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-primcreated2 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuildcreated10 months ago
, last acknowledgement10 months ago
cykInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::cykcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjsoncreated10 months ago
, last acknowledgement6 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypescreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::deletecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extractioncreated10 months ago
, last acknowledgement6 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basiccreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multisetcreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolvecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-benchcreated8 months ago
, last acknowledgement6 months ago
f64Instrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::f64created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertioncreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonaccicreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demandcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fusioncreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::herbiecreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorialcreated10 months ago
, last acknowledgement10 months ago
i64Instrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::i64created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::includecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_mathcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::intersectioncreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::intervalcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsackcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::lambdacreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distancecreated10 months ago
, last acknowledgement10 months ago
listInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::listcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_globalcreated9 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_goodcreated8 months ago
, last run3 days ago
mapInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::mapcreated10 months ago
, last acknowledgement10 months ago
mathInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::mathcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmarkcreated10 months ago
, last acknowledgement6 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::matrixcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuildcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturatescreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge_readcreated8 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::multisetcreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolutioncreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::naturalscreated2 months ago
, last run3 days ago
pathInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::pathcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::path-unioncreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproofcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::points-tocreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::primitivescreated10 months ago
, last acknowledgement10 months ago
primsInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::primscreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::push-popcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimizecreated10 months ago
, last acknowledgement5 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-evalcreated7 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-definecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-querycreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constantcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-deletecreated2 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-primscreated2 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-python-veccreated3 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbugcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-querycreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybugcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4created10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturatecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-paniccreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedulecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsoundcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorialcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequalcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::resolutioncreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysiscreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-democreated10 months ago
, last acknowledgement10 months ago
setInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::setcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_functioncreated8 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stratifiedcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_exprcreated9 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stringcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotescreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::subsumecreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume-relationcreated2 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combinedcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-stepscreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoicreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checkingcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-testscreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheckcreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfercreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-tocreated10 months ago
, last acknowledgement10 months ago
unifyInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::unifycreated10 months ago
, last acknowledgement10 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fncreated10 months ago
, last acknowledgement10 months ago
untilInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::untilcreated10 months ago
, last acknowledgement10 months ago
vecInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::veccreated10 months ago
, last acknowledgement10 months ago
© 2025 CodSpeed Technology