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-20	add perennial to benchmark suite	Ralf Jung
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	Merge PR #12899: [bench] Update bench script with better urls and more info	Pierre-Marie Pédrot
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