aboutsummaryrefslogtreecommitdiff
path: root/tools/TimeFileMaker.py
AgeCommit message (Expand)Author
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-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2019-03-31[pretty-timing scripts] Don't barf on non-utf-8Jason Gross
2019-03-31[pretty-print py]Don't print sys.stdout;better utfJason Gross
2019-03-04remove unused import of osFrédéric Chapoton
2018-07-11Merge PR #8002: make-both-single-timing-files: fix --sort-by=diffJason Gross
2018-07-07make diff sort by difference, not absolute differenceRalf Jung
2018-07-07make-both-single-timing-files: fix --sort-by=diffRalf Jung
2018-07-07Output UTF-8 explicitly in timing toolsJasper Hugunin
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
2017-12-27Add TIMING_SORT_BY and --sort-by to timing scriptsJason Gross
2017-11-22Update TimeFileMaker.py to correctly sort timing diffsJason Gross
2017-10-06TimeFileMaker.py: Allow trailing spacesJason Gross
2017-07-11Add timing scriptsJason Gross