| 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-02-02 | Merge PR #13805: Bench: remove broken packages | Pierre-Marie Pédrot | |
| Reviewed-by: ppedrot | |||
| 2021-02-02 | Bench: don't uselessly rely on initialized opam | Gaëtan Gilbert | |
| AFAICT this init.sh call is useless. | |||
| 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-24 | Merge PR #13420: Modular printing algorithm for bench/render_results. | coqbot-app[bot] | |
| Reviewed-by: SkySkimmer | |||
| 2020-11-20 | add perennial to benchmark suite | Ralf Jung | |
| 2020-11-19 | Modular printing algorithm for bench/render_results. | Pierre-Marie Pédrot | |
| The old code was a mess of handwritten ad-hoc code to print the result table in a fancy way. Instead of hardcoding everything this patch introduces a generic function to print a table of data. This will allow extension of the profiling information displayed to the user in an easy way. | |||
| 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 | [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 | |
| Ack-by: SkySkimmer Reviewed-by: ppedrot | |||
| 2020-08-26 | Use the lite variants of performance tests in the bench default packages. | Pierre-Marie Pédrot | |
| They are much faster and should be as informative as their heavy counterparts. I have been forgetting to do that for a long time already. | |||
| 2020-08-26 | Merge PR #12904: Move bench job definition to its own file | Pierre-Marie Pédrot | |
| Reviewed-by: ppedrot | |||
| 2020-08-25 | Move bench job definition to its own file | Gaëtan Gilbert | |
| This focuses review requests to bench-maintainers instead of sharing with ci-maintainers | |||
| 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 | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |