package benchmark
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Benchmark running times of code
Install
dune-project
Dependency
Authors
Maintainers
Sources
benchmark-1.7.tbz
sha256=0228fbbc9cda98d5907e32de1a010d948a7a225f3e59cf61b1a86be1e0c6b3af
sha512=9ca163fb3ae6c5e5239d0198cc9ec9b0811a48cf160f6e0fff635b0afdda99ae4503d0e4341b95bcb1e15bc1fcb60238761e49d4004c506fb2c53174c9890de2
Description
This module provides a set of tools to measure the running times of your functions and to easily compare the results. A statistical test is used to determine whether the results truly differ.
Published: 04 Feb 2025
Dev Dependencies
None
Used by (17)
-
ambient-context
>= "0.2" - avro-simple
-
batteries
>= "3.3.0" -
catala
>= "0.3.0" & < "0.10.0" - crlibm
- ezgzip
- fiat-p256
- goblint
- hacl_x25519
-
html_of_jsx
>= "0.0.3" -
lmdb
>= "1.0" - OCanren
- parseff
- phonetic
- root1d
- rope
-
tyre
>= "1.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page