Martin Hořeňovský e340ab8db6
Various improvements to the benchmarking support
* Units from <ratio> are no longer redeclared in our own namespace
* The default clock is `steady_clock`, not `high_resolution_clock`,
because, as HH says "high_resolution_clock is useless. If you want
measure the passing of time, use steady_clock. If you want user
friendly time, use system_clock".
* Benchmarking support is opt-in, not opt-out, to avoid the large
(~10%) compile time penalty.
* Benchmarking-related options in CLI are always present, to decrease
the amount of code that is only compiled conditionally and making
the whole shebang more maintainble.
2019-06-06 21:28:56 +02:00
..
2018-09-08 11:05:52 +02:00
2019-01-19 13:32:39 +01:00
2019-04-10 09:42:11 +02:00
2018-09-08 11:05:52 +02:00
2019-05-26 22:47:00 +02:00
2019-05-09 22:40:59 +02:00
2018-11-05 19:38:37 +01:00