Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [ci] Fix another issue with the timing tests | Jason Gross | 2018-04-26 |
* | Improve shell scripts | zapashcanon | 2018-04-05 |
* | Update coq_makefile timing test | Jason Gross | 2018-04-02 |
* | [test-suite] Move sed scripts into bash arrays | Jason Gross | 2018-02-24 |
* | Fix issue with spurious timing test failures | Jason Gross | 2018-02-13 |
* | Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts | Maxime Dénès | 2018-01-08 |
|\ | |||
* | | Trim more trailing whitespace in coq-makefile timing test | Jason Gross | 2017-12-31 |
| * | Add TIMING_SORT_BY and --sort-by to timing scripts | Jason Gross | 2017-12-27 |
|/ | |||
* | Add test-suite tests for timing scripts | Jason Gross | 2017-11-22 |
* | Have the coq_makefile timing test-suite print more | Jason Gross | 2017-11-17 |
* | Handle ∞ in coq-makefile timing test-suite | Jason Gross | 2017-10-19 |
* | Add timing scripts | Jason Gross | 2017-07-11 |