coq - The formal proof system

Age	Commit message (Expand)	Author
2020-04-24	Add memory stats to tables by default	Jason Gross
2020-02-05	Add --fuzz, --real, --user to timing scripts	Jason Gross
2019-03-31	[pretty-timing scripts] Don't barf on non-utf-8	Jason Gross
2019-03-31	[pretty-print py]Don't print sys.stdout;better utf	Jason Gross
2019-03-04	remove unused import of os	Frédéric Chapoton
2018-07-11	Merge PR #8002: make-both-single-timing-files: fix --sort-by=diff	Jason Gross
2018-07-07	make diff sort by difference, not absolute difference	Ralf Jung
2018-07-07	make-both-single-timing-files: fix --sort-by=diff	Ralf Jung
2018-07-07	Output UTF-8 explicitly in timing tools	Jasper Hugunin
2018-07-04	Convert timing tools to run with both python2 and python3	Jasper Hugunin
2017-12-27	Add TIMING_SORT_BY and --sort-by to timing scripts	Jason Gross
2017-11-22	Update TimeFileMaker.py to correctly sort timing diffs	Jason Gross
2017-10-06	TimeFileMaker.py: Allow trailing spaces	Jason Gross
2017-07-11	Add timing scripts	Jason Gross