Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Sat, 08 Sep 2018 22:52:12 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
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
|