coq/dev/bench/render_results, branch master The formal proof system Modular printing algorithm for bench/render_results. 2020-11-19T15:22:34+00:00 Pierre-Marie Pédrot 2020-11-19T12:31:15+00:00 5bda98c882131dd35f81313d83a9e73e2a25a416 The old code was a mess of handwritten ad-hoc code to print the result table in a fancy way. Instead of hardcoding everything this patch introduces a generic function to print a table of data. This will allow extension of the profiling information displayed to the user in an easy way. 
The old code was a mess of handwritten ad-hoc code to print the result table
in a fancy way. Instead of hardcoding everything this patch introduces a
generic function to print a table of data. This will allow extension of the
profiling information displayed to the user in an easy way.
Special commit to start benchmarking. 2020-08-20T19:27:15+00:00 Maxime Dénès 2020-06-24T16:20:13+00:00 68a18c80332bace9064e202d13f01c880cc114ec