Coq bench

We bench the Coq OPAM packages, not Coq itself or the contribs. The compilation times are only informative.

Results

OS Machine OCaml Opam Released Development
Linux x86_64 4.02.1 1.2.2
Linux x86_64 4.05.0 2.0.1
Linux x86_64 4.07.1 2.0.1

Changelog

April 30, 2019

  • test incompatibility with the current OCaml version
  • give the worst test case instead of the best for the summary column

April 7, 2019

  • add Coq 8.9

June 5, 2018

  • add Coq 8.8

November 1, 2017

  • add Coq 8.7

December 29, 2016

  • add Coq 8.6

October 28, 2016

  • add Coq 8.5.3

July 17, 2016

  • add Coq 8.6.dev

July 13, 2016

  • upgrade to Coq 8.5.2

May 28, 2016

  • run the opam lint check
  • single-threaded compilation for better reproducibility of builds
  • shorter installation timeout (30 minutes) to anticipate the release of the contribs
  • a timeout is not an error anymore

Contact

Send an email to coqbench [at] clarus [dot] me.