| Sat, 08 Sep 2018 22:43:25 +0200 | wenzelm | more robust test: virtualization may provide misleading information; | file | diff | annotate |
| Sat, 08 Sep 2018 22:21:19 +0200 | wenzelm | implicit use of NUMA policy, absorbing potential errors; | file | diff | annotate |
| Sat, 08 Sep 2018 22:09:52 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 27 Oct 2017 11:46:03 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 14 May 2017 17:19:46 +0200 | wenzelm | prefer explicit progress channel; | file | diff | annotate |
| Fri, 11 Nov 2016 17:23:26 +0100 | wenzelm | trim more thoroughly, e.g. trailing \0 seen on some system; | file | diff | annotate |
| Sun, 16 Oct 2016 22:43:51 +0200 | wenzelm | isabelle build -N; | file | diff | annotate |
| Sun, 16 Oct 2016 20:19:10 +0200 | wenzelm | support for Non-Uniform Memory Access of separate CPU nodes; | file | diff | annotate |