package benchmark

  1. Overview
  2. Docs
Benchmark running times of code

Install

github.com Readme Changelog LGPL-3.0-only WITH OCaml-LGPL-linking-exception License Edit opam file

Authors

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
  2. D
    Doug Bagley

Maintainers

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

benchmark-1.6.tbz
md5=425d16d91e11bc81e3d347884f8fe991

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.

Tags

benchmark

Published: 09 Sep 2018

Dependencies (3)

  1. base-unix
  2. dune
  3. ocaml >= "3.12.0"

Dev Dependencies

None

Used by (14)

  1. batteries >= "3.3.0"
  2. catala >= "0.3.0"
  3. crlibm
  4. eris
  5. eris-lwt
  6. ezgzip
  7. fiat-p256 >= "0.2.0"
  8. goblint >= "1.1.1"
  9. hacl_x25519
  10. lmdb >= "1.0"
  11. OCanren >= "0.2.0"
  12. phonetic
  13. root1d >= "0.4"
  14. rope >= "0.6"

Conflicts

None