Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts | 2018-01-08 | |
|\ | |||
* | | Trim more trailing whitespace in coq-makefile timing test | 2017-12-31 | |
| * | Add TIMING_SORT_BY and --sort-by to timing scripts | 2017-12-27 | |
|/ | |||
* | Do dependencies in 1 command per file class. | 2017-12-15 | |
* | Add test-suite tests for timing scripts | 2017-11-22 | |
* | Have the coq_makefile timing test-suite print more | 2017-11-17 | |
* | Handle ∞ in coq-makefile timing test-suite | 2017-10-19 | |
* | Add timing scripts | 2017-07-11 |