aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile/timing
AgeCommit message (Expand)Author
2021-03-03[build] Split stdlib to it's own opam package.Emilio Jesus Gallego Arias
2020-11-20[CI] Update coq_makefilePierre Roux
2020-09-21Make print-pretty-timed robust against non-output-sync logsJason Gross
2020-05-21Fix an uncaught python exception in timingJason Gross
2020-05-20Print a newline at the end of timing tablesJason Gross
2020-04-24Add memory stats to tables by defaultJason Gross
2020-04-20TIMEFMT: Display the output file nameJason Gross
2020-04-19Fix Makefile warning: undefined variable '*'Jason Gross
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-01-08Merge PR #11341: Add non-utf8 timing testPierre-Marie Pédrot
2020-01-03[tools] Remove support for python2Emilio Jesus Gallego Arias
2019-12-26Add non-utf8 timing testJason Gross
2019-04-29More robust timing test.Jason Gross
2019-03-31[pretty-timing scripts] Don't barf on non-utf-8Jason Gross
2018-08-24Fix ordering of before/after in print-pretty-timed-*Jason Gross
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
2018-04-26[ci] Fix another issue with the timing testsJason Gross
2018-04-05Improve shell scriptszapashcanon
2018-04-02Update coq_makefile timing testJason Gross
2018-02-24[test-suite] Move sed scripts into bash arraysJason Gross
2018-02-13Fix issue with spurious timing test failuresJason Gross
2018-01-08Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsMaxime Dénès
2017-12-31Trim more trailing whitespace in coq-makefile timing testJason Gross
2017-12-27Add TIMING_SORT_BY and --sort-by to timing scriptsJason Gross
2017-12-15Do dependencies in 1 command per file class.Gaëtan Gilbert
2017-11-22Add test-suite tests for timing scriptsJason Gross
2017-11-17Have the coq_makefile timing test-suite print moreJason Gross
2017-10-19Handle ∞ in coq-makefile timing test-suiteJason Gross
2017-07-11Add timing scriptsJason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:11:30 +0000