8 Commits

Author	SHA1	Message	Date
Martin Hořeňovský	695a356f93	Move all scripts to Python3	2020-03-19 12:36:30 +01:00
Martin Hořeňovský	97edf7ce65	Fix-up compilation benchmark script	2017-08-30 18:11:52 +02:00
Martin Hořeňovský	374c050a42	benchmarkCompile.py fixup	2017-03-06 10:59:17 +01:00
Martin Hořeňovský	fd6c7aee6d	Fixed compile benchmark script ... Now it no longer attempts to enter a directory before creating it...	2017-03-02 18:27:31 +01:00
Martin Hořeňovský	6da5e0862a	Benchmark script: allow passing flags to compiler	2017-02-14 15:34:17 +01:00
Martin Hořeňovský	2049113935	Benchmark script: use median AND mean of compile time	2017-02-14 15:34:00 +01:00
Martin Hořeňovský	0837132ce3	Make the benchmarking script Python 2 compatible ... Ended up using `time.time()`, even if it supposedly has worse accuracy, because Python running under WSL supports `time.clock()` very badly.	2017-02-12 12:25:43 +01:00
Martin Hořeňovský	26df0781a5	Added a script for running synthetic compile time benchmark	2017-02-08 14:15:01 +01:00