coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of tools/TimeFileMaker.py

March 2025

coqbot-app[bot]
Merge PR #20366: TimeFileMaker put filename in the last column
committed
Gaëtan Gilbert
TimeFileMaker put filename in the last column
committed

November 2023

coqbot-app[bot]
Merge PR #18265: TimeFileMaker: use accurate sum in sum_times
committed
Gaëtan Gilbert
TimeFileMaker: use accurate sum in sum_times
committed

July 2022

coqbot-app[bot]
Merge PR #16268: Remove leading pwd from pretty timing logs
committed
Jason Gross
Remove leading pwd from pretty timing logs
committed

September 2020

coqbot-app[bot]
Merge PR #13063: Make print-pretty-timed robust against non-output-sync logs
committed
Jason Gross
Make print-pretty-timed robust against non-output-sync logs
committed

May 2020

Gaëtan Gilbert
Merge PR #12388: Fix an uncaught python exception in timing
committed
Jason Gross
Fix an uncaught python exception in timing
committed
Gaëtan Gilbert
Merge PR #12368: Print a newline at the end of timing tables
committed
Jason Gross
Print a newline at the end of timing tables
committed

April 2020

Emilio Jesus Gallego Arias
Merge PR #11606: [tools] Add memory stats to tables by default
committed
Jason Gross
Add memory stats to tables by default
committed

February 2020

Emilio Jesus Gallego Arias
Merge PR #11302: Add --fuzz, --real, --user to timing scripts
committed
Jason Gross
Add --fuzz, --real, --user to timing scripts
committed

March 2019

Emilio Jesus Gallego Arias
Merge PR #9872: Fix timing diff script to support non-utf8
committed
Jason Gross
[pretty-timing scripts] Don't barf on non-utf-8
committed
Jason Gross
[pretty-print py]Don't print sys.stdout;better utf
committed
Emilio Jesus Gallego Arias
Merge PR #9694: remove unused import of os
committed
Frédéric Chapoton
remove unused import of os
committed

July 2018

Jason Gross
Merge PR #8002: make-both-single-timing-files: fix --sort-by=diff
committed
Jason Gross
Merge PR #8015: Output UTF-8 explicitly in timing tools
committed
Ralf Jung
make diff sort by difference, not absolute difference
committed
Ralf Jung
make-both-single-timing-files: fix --sort-by=diff
committed
Jasper Hugunin
Output UTF-8 explicitly in timing tools
committed
Jason Gross
Merge PR #7990: Convert timing tool to python3
committed
Jasper Hugunin
Convert timing tools to run with both python2 and python3
committed

January 2018

Maxime Dénès
Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts
committed

December 2017

Jason Gross
Add TIMING_SORT_BY and --sort-by to timing scripts
committed

November 2017

Maxime Dénès
Merge PR #6149: Update TimeFileMaker.py to correctly sort timing diffs
committed
Jason Gross
Update TimeFileMaker.py to correctly sort timing diffs
committed

October 2017

Maxime Dénès
Merge PR #1132: TimeFileMaker.py: Allow trailing spaces
committed
Jason Gross
TimeFileMaker.py: Allow trailing spaces
committed

July 2017

Maxime Dénès
Merge branch 'v8.7'
committed
Maxime Dénès
Merge PR #745: Add timing scripts
committed
Jason Gross
Add timing scripts
committed