package benchmark

  1. Overview
  2. Docs

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