4 commits

Author	SHA1	Message	Date
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