| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-03-03 | [build] Split stdlib to it's own opam package. | Emilio Jesus Gallego Arias |
| 2020-09-21 | Make print-pretty-timed robust against non-output-sync logs | Jason Gross |
| 2020-05-21 | Fix an uncaught python exception in timing | Jason Gross |
| 2020-05-20 | Print a newline at the end of timing tables | Jason Gross |
| 2020-04-24 | Add memory stats to tables by default | Jason Gross |
| 2020-02-05 | Add --fuzz, --real, --user to timing scripts | Jason Gross |
| 2020-01-08 | Merge PR #11341: Add non-utf8 timing test | Pierre-Marie Pédrot |
| 2020-01-03 | [tools] Remove support for python2 | Emilio Jesus Gallego Arias |
| 2019-12-26 | Add non-utf8 timing test | Jason Gross |
| 2019-03-31 | [pretty-timing scripts] Don't barf on non-utf-8 | Jason Gross |
| 2018-07-04 | Convert timing tools to run with both python2 and python3 | Jasper Hugunin |
| 2018-04-05 | Improve shell scripts | zapashcanon |
| 2017-11-22 | Add test-suite tests for timing scripts | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |