| Wed, 17 May 2017 23:05:30 +0200 |
wenzelm |
more output;
|
changeset |
files
|
| Wed, 17 May 2017 22:32:48 +0200 |
wenzelm |
plot average heap size;
|
changeset |
files
|
| Wed, 17 May 2017 22:27:33 +0200 |
wenzelm |
more systematic maximum and average;
|
changeset |
files
|
| Wed, 17 May 2017 21:24:16 +0200 |
wenzelm |
clarified use of XML.Cache;
|
changeset |
files
|
| Wed, 17 May 2017 21:08:11 +0200 |
wenzelm |
proper ml_statistics;
|
changeset |
files
|
| Wed, 17 May 2017 20:52:24 +0200 |
wenzelm |
store processed content instead of somewhat bulky properties;
|
changeset |
files
|
| Wed, 17 May 2017 14:58:48 +0200 |
wenzelm |
include full ML statistics: max heap size;
|
changeset |
files
|
| Wed, 17 May 2017 13:52:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 17 May 2017 13:50:30 +0200 |
wenzelm |
eliminated unused operations;
|
changeset |
files
|
| Wed, 17 May 2017 13:47:19 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 17 May 2017 11:53:16 +0200 |
wenzelm |
clarified universal table: include ml_statistics;
|
changeset |
files
|
| Wed, 17 May 2017 11:12:19 +0200 |
wenzelm |
proper order for entry list cons;
|
changeset |
files
|
| Wed, 17 May 2017 10:49:19 +0200 |
wenzelm |
proper check (amending ad35427dbe88);
|
changeset |
files
|
| Tue, 16 May 2017 22:57:12 +0200 |
wenzelm |
less restrictive filter: omit empty charts, but show latest timing;
|
changeset |
files
|