Coq bench

We bench the Coq opam packages, not Coq itself. The compilation times are only informative.

Results

OS Machine OCaml Opam Released Development
Linux x86_64 4.02.3 2.0.1
Linux x86_64 4.05.0 2.0.1
Linux x86_64 4.07.1 2.0.1

Changelog

October 5, 2019

  • truncating the logs (maximum 100.000 characters)

August 24, 2019

  • testing coq-intuitionistic-nuprl, again

August 10, 2019

  • add a black-list system for recurring and hard to solve errors (see black_list.rb)

July 23, 2019

June 25, 2019

  • stop testing coq-intuitionistic-nuprl (too slow)

June 20, 2019

  • use the OCaml setup from the opam switch

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.