aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/timing
Commit message (Expand)AuthorAge
* Convert timing tools to run with both python2 and python3Gravatar Jasper Hugunin2018-07-04
* [ci] Fix another issue with the timing testsGravatar Jason Gross2018-04-26
* Improve shell scriptsGravatar zapashcanon2018-04-05
* Update coq_makefile timing testGravatar Jason Gross2018-04-02
* [test-suite] Move sed scripts into bash arraysGravatar Jason Gross2018-02-24
* Fix issue with spurious timing test failuresGravatar Jason Gross2018-02-13
* Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\
* | Trim more trailing whitespace in coq-makefile timing testGravatar Jason Gross2017-12-31
| * Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Jason Gross2017-12-27
|/
* Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
* Add test-suite tests for timing scriptsGravatar Jason Gross2017-11-22
* Have the coq_makefile timing test-suite print moreGravatar Jason Gross2017-11-17
* Handle ∞ in coq-makefile timing test-suiteGravatar Jason Gross2017-10-19
* Add timing scriptsGravatar Jason Gross2017-07-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 02:44:12 +0000