| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-07-04 | Convert timing tools to run with both python2 and python3 | Jasper Hugunin |
| 2018-04-26 | [ci] Fix another issue with the timing tests | Jason Gross |
| 2018-04-05 | Improve shell scripts | zapashcanon |
| 2018-04-02 | Update coq_makefile timing test | Jason Gross |
| 2018-02-24 | [test-suite] Move sed scripts into bash arrays | Jason Gross |
| 2018-02-13 | Fix issue with spurious timing test failures | Jason Gross |
| 2018-01-08 | Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts | Maxime Dénès |
| 2017-12-31 | Trim more trailing whitespace in coq-makefile timing test | Jason Gross |
| 2017-12-27 | Add TIMING_SORT_BY and --sort-by to timing scripts | Jason Gross |
| 2017-12-15 | Do dependencies in 1 command per file class. | Gaëtan Gilbert |
| 2017-11-22 | Add test-suite tests for timing scripts | Jason Gross |
| 2017-11-17 | Have the coq_makefile timing test-suite print more | Jason Gross |
| 2017-10-19 | Handle ∞ in coq-makefile timing test-suite | Jason Gross |
| 2017-07-11 | Add timing scripts | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |