Sun, 09 Sep 2018 12:02:30 +0200 tuned message;
wenzelm [Sun, 09 Sep 2018 12:02:30 +0200] rev 68958
tuned message;
Sun, 09 Sep 2018 11:53:53 +0200 clarified theory progress;
wenzelm [Sun, 09 Sep 2018 11:53:53 +0200] rev 68957
clarified theory progress;
Sat, 08 Sep 2018 22:52:12 +0200 tuned message;
wenzelm [Sat, 08 Sep 2018 22:52:12 +0200] rev 68956
tuned message;
Sat, 08 Sep 2018 22:43:25 +0200 more robust test: virtualization may provide misleading information;
wenzelm [Sat, 08 Sep 2018 22:43:25 +0200] rev 68955
more robust test: virtualization may provide misleading information;
Sat, 08 Sep 2018 22:21:19 +0200 implicit use of NUMA policy, absorbing potential errors;
wenzelm [Sat, 08 Sep 2018 22:21:19 +0200] rev 68954
implicit use of NUMA policy, absorbing potential errors;
Sat, 08 Sep 2018 22:09:52 +0200 tuned signature;
wenzelm [Sat, 08 Sep 2018 22:09:52 +0200] rev 68953
tuned signature;
Sat, 08 Sep 2018 21:54:39 +0200 tuned;
wenzelm [Sat, 08 Sep 2018 21:54:39 +0200] rev 68952
tuned;
Sat, 08 Sep 2018 21:48:26 +0200 more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
wenzelm [Sat, 08 Sep 2018 21:48:26 +0200] rev 68951
more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
Sat, 08 Sep 2018 16:55:38 +0200 merged
wenzelm [Sat, 08 Sep 2018 16:55:38 +0200] rev 68950
merged
Sat, 08 Sep 2018 16:52:38 +0200 ensure foundational order of commits, taking Pure as implicit starting point;
wenzelm [Sat, 08 Sep 2018 16:52:38 +0200] rev 68949
ensure foundational order of commits, taking Pure as implicit starting point;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip