Benchmarks
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunifycreated11 months ago
, last run3 days ago
arrayInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::arraycreated11 months ago
, last acknowledgement11 months ago
bddInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::bddcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofscreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bignumcreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::birewritecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwisecreated11 months ago
, last acknowledgement11 months ago
boolInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::boolcreated11 months ago
, last acknowledgement11 months ago
calcInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::calccreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::combinatorscreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nestedcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-funccreated3 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-primcreated3 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuildcreated11 months ago
, last acknowledgement11 months ago
cykInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::cykcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjsoncreated11 months ago
, last acknowledgement7 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypescreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::deletecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extractioncreated11 months ago
, last acknowledgement7 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basiccreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multisetcreated11 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolvecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-benchcreated9 months ago
, last acknowledgement7 months ago
f64Instrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::f64created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertioncreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonaccicreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demandcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::fusioncreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::herbiecreated11 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorialcreated11 months ago
, last acknowledgement11 months ago
i64Instrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::i64created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::includecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_mathcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::intersectioncreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::intervalcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsackcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::lambdacreated11 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distancecreated11 months ago
, last acknowledgement11 months ago
listInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::listcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_globalcreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_goodcreated9 months ago
, last run3 days ago
mapInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::mapcreated11 months ago
, last acknowledgement11 months ago
mathInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::mathcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmarkcreated11 months ago
, last acknowledgement7 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::matrixcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuildcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturatescreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::merge_readcreated9 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::multisetcreated11 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolutioncreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::naturalscreated3 months ago
, last run3 days ago
pathInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::pathcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::path-unioncreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproofcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::points-tocreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::primitivescreated11 months ago
, last acknowledgement11 months ago
primsInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::primscreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::print-functioncreated1 month ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::push-popcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimizecreated11 months ago
, last acknowledgement5 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-evalcreated8 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-definecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-querycreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constantcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-deletecreated3 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-primscreated3 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-python-veccreated4 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbugcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-querycreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybugcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4created11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturatecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-paniccreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedulecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsoundcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorialcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequalcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::resolutioncreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysiscreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-democreated11 months ago
, last acknowledgement11 months ago
setInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::setcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_functioncreated9 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stratifiedcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_exprcreated10 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::stringcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotescreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::subsumecreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume-relationcreated3 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combinedcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-stepscreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoicreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checkingcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-testscreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheckcreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfercreated11 months ago
, last run3 days ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-tocreated11 months ago
, last acknowledgement11 months ago
unifyInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::unifycreated11 months ago
, last acknowledgement11 months ago
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fncreated11 months ago
, last acknowledgement11 months ago
untilInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::untilcreated11 months ago
, last acknowledgement11 months ago
vecInstrumentation
Ignored benches/example_benchmarks.rs::benches::criterion_benchmark::veccreated11 months ago
, last acknowledgement11 months ago
© 2025 CodSpeed Technology