| Sat, 08 Sep 2018 22:43:25 +0200 | wenzelm | more robust test: virtualization may provide misleading information; | changeset | files |
| Sat, 08 Sep 2018 22:21:19 +0200 | wenzelm | implicit use of NUMA policy, absorbing potential errors; | changeset | files |
| Sat, 08 Sep 2018 22:09:52 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 08 Sep 2018 21:54:39 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 08 Sep 2018 21:48:26 +0200 | wenzelm | more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session; | changeset | files |
| Sat, 08 Sep 2018 16:55:38 +0200 | wenzelm | merged | changeset | files |
| Sat, 08 Sep 2018 16:52:38 +0200 | wenzelm | ensure foundational order of commits, taking Pure as implicit starting point; | changeset | files |
| Sat, 08 Sep 2018 14:30:31 +0200 | wenzelm | more accurate output; | changeset | files |