Dominic Hamon b0d5adfacd Add benchmark labels to the output of the comparison tool (#1388) ... Fixes #1294		2022-05-01 15:04:39 +01:00
..
Inputs	Add benchmark labels to the output of the comparison tool (#1388)	2022-05-01 15:04:39 +01:00
__init__.py	Add a "compare_bench.py" tooling script. (#266)	2016-08-09 12:33:57 -06:00
report.py	Add benchmark labels to the output of the comparison tool (#1388)	2022-05-01 15:04:39 +01:00
util.py	compare.py: sort the results (#1168)	2021-06-03 16:22:52 +03:00