coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-11	Bench: add .log extension to .stdout/stderr files	Gaëtan Gilbert
2020-11-24	Merge PR #13420: Modular printing algorithm for bench/render_results.	coqbot-app[bot]
2020-11-20	add perennial to benchmark suite	Ralf Jung
2020-11-19	Modular printing algorithm for bench/render_results.	Pierre-Marie Pédrot
2020-10-22	Fix bench variables	Gaëtan Gilbert
2020-10-19	Bench: move variables to the script	Gaëtan Gilbert
2020-10-09	[bench] Dump the vo size difference.	Pierre-Marie Pédrot
2020-09-03	[bench] Only upload some files	Jason Gross
2020-09-03	[bench] Also upload the raw timing files, etc	Jason Gross
2020-09-03	Merge PR #12899: [bench] Update bench script with better urls and more info	Pierre-Marie Pédrot
2020-08-26	Use the lite variants of performance tests in the bench default packages.	Pierre-Marie Pédrot
2020-08-26	Merge PR #12904: Move bench job definition to its own file	Pierre-Marie Pédrot
2020-08-25	Move bench job definition to its own file	Gaëtan Gilbert
2020-08-25	Remove useless commit guessing logic	Jason Gross
2020-08-25	[bench] Update bench script with better urls and more info	Jason Gross
2020-08-24	Perform a few tweaks to make the bench script work properly.	Pierre-Marie Pédrot
2020-08-20	Special commit to start benchmarking.	Maxime Dénès