Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #8002: make-both-single-timing-files: fix --sort-by=diff | 2018-07-11 | |
|\ | |||
| * | make diff sort by difference, not absolute difference | 2018-07-07 | |
| * | make-both-single-timing-files: fix --sort-by=diff | 2018-07-07 | |
* | | Output UTF-8 explicitly in timing tools | 2018-07-07 | |
|/ | |||
* | Convert timing tools to run with both python2 and python3 | 2018-07-04 | |
* | Add TIMING_SORT_BY and --sort-by to timing scripts | 2017-12-27 | |
* | Update TimeFileMaker.py to correctly sort timing diffs | 2017-11-22 | |
* | TimeFileMaker.py: Allow trailing spaces | 2017-10-06 | |
* | Add timing scripts | 2017-07-11 |