coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/bench/table.ml

May 2023

remzi
merge master
committed
coqbot-app[bot]
Merge PR #17559: Bench: generate html timing tables with links to the html files
committed
Gaëtan Gilbert
Bench table printer: support elements with display size <> string length
committed

June 2022

coqbot-app[bot]
Merge PR #16162: [bench] Replace Stdlib.List with Clib.CList to use tail-recursion
committed
alizter.tngl.sh
[bench] Replace Stdlib.List with Clib.CList to use tail-recursion
committed

March 2022

coqbot-app[bot]
Merge PR #15735: Bench summary
committed
alizter.tngl.sh
Line timings summarised at end of bench
committed