coq - The formal proof system

Age	Commit message (Collapse)	Author
2021-03-07	Attempt to fix the bench after coq-core split	Gaëtan Gilbert

2021-02-03	[bench] Re-enable coq-performance-tests	Jason Gross
	Partial revert of 6f4c61d152ad801bd571088ab99eb276b0085a04. coq-performance-tests was fixed in https://github.com/coq-community/coq-performance-tests/commit/ae8385b9471409387d0f47f01e38b866ba70bda1. Note that the current state is not optimal, as the bench does not test the native compiler at all (see #13807).
2021-02-02	Add VST to the set of default bench packages.	Pierre-Marie Pédrot

2021-01-29	Bench: remove broken packages	Gaëtan Gilbert
	performance-tests and sf-plf have been failing for a long time without updates, there's no point wasting time partally building them.
2020-12-11	Bench: add .log extension to .stdout/stderr files	Gaëtan Gilbert
	Hopefully this allows viewing online with a download dialog on gitlab.
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
	IMO it makes more sense this way, also it's more convenient if someone wants to run the script locally.
2020-10-09	[bench] Dump the vo size difference.	Pierre-Marie Pédrot

2020-09-03	[bench] Only upload some files	Jason Gross
	We will now also record a listing of all files that we could have uploaded, in case we want to know what's available to upload in the future.
2020-09-03	Merge PR #12899: [bench] Update bench script with better urls and more info	Pierre-Marie Pédrot
	Ack-by: SkySkimmer Reviewed-by: ppedrot
2020-08-25	Remove useless commit guessing logic	Jason Gross
	On GitLab, we don't need to base the job info on the PR number, since it ought to be available from the git repo. Removing the logic will make the bench infrastructure more uniform.
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