| Mon, 08 May 2017 17:16:40 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 08 May 2017 16:38:11 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 08 May 2017 16:27:12 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 08 May 2017 16:00:14 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 08 May 2017 15:13:40 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 08 May 2017 14:30:59 +0200 |
wenzelm |
clarified image size;
|
changeset |
files
|
| Mon, 08 May 2017 14:30:37 +0200 |
wenzelm |
proper type for iterated application;
|
changeset |
files
|
| Mon, 08 May 2017 14:08:27 +0200 |
wenzelm |
make index formally within Isabelle/Scala;
|
changeset |
files
|
| Mon, 08 May 2017 12:04:58 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 08 May 2017 11:33:04 +0200 |
wenzelm |
plot heap size;
|
changeset |
files
|
| Mon, 08 May 2017 11:00:20 +0200 |
wenzelm |
more precise profiles;
|
changeset |
files
|
| Mon, 08 May 2017 10:27:13 +0200 |
wenzelm |
suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
|
changeset |
files
|
| Mon, 08 May 2017 10:23:12 +0200 |
wenzelm |
more specific workaround (see also ed7b5cd3a7f2);
|
changeset |
files
|
| Sun, 07 May 2017 23:57:20 +0200 |
wenzelm |
cpu time is somewhat redundant for threads=1;
|
changeset |
files
|