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.3 1.2.2
Linux x86_64 4.03.0 1.2.2
Linux x86_64 4.05.0 1.2.2

Changelog

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.