Wed, 17 May 2017 11:12:19 +0200 |
wenzelm |
proper order for entry list cons;
|
file |
diff |
annotate
|
Wed, 17 May 2017 10:49:19 +0200 |
wenzelm |
proper check (amending ad35427dbe88);
|
file |
diff |
annotate
|
Tue, 16 May 2017 22:57:12 +0200 |
wenzelm |
less restrictive filter: omit empty charts, but show latest timing;
|
file |
diff |
annotate
|
Sun, 14 May 2017 22:04:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 14 May 2017 21:54:35 +0200 |
wenzelm |
more systematic HTML.init_dir with css;
|
file |
diff |
annotate
|
Sun, 14 May 2017 21:34:36 +0200 |
wenzelm |
prefer logical markup;
|
file |
diff |
annotate
|
Fri, 12 May 2017 11:56:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 10 May 2017 19:02:06 +0200 |
wenzelm |
stretch image according to history length;
|
file |
diff |
annotate
|
Wed, 10 May 2017 17:24:31 +0200 |
wenzelm |
actually plot extended profile history;
|
file |
diff |
annotate
|
Tue, 09 May 2017 21:43:46 +0200 |
wenzelm |
more output;
|
file |
diff |
annotate
|
Tue, 09 May 2017 21:27:34 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Tue, 09 May 2017 21:25:32 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Tue, 09 May 2017 20:36:34 +0200 |
wenzelm |
more output;
|
file |
diff |
annotate
|
Tue, 09 May 2017 20:02:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 09 May 2017 11:29:18 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 09 May 2017 11:21:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 08 May 2017 22:31:54 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 08 May 2017 21:58:15 +0200 |
wenzelm |
simplified default;
|
file |
diff |
annotate
|
Mon, 08 May 2017 14:30:59 +0200 |
wenzelm |
clarified image size;
|
file |
diff |
annotate
|
Mon, 08 May 2017 11:33:04 +0200 |
wenzelm |
plot heap size;
|
file |
diff |
annotate
|
Mon, 08 May 2017 10:23:12 +0200 |
wenzelm |
more specific workaround (see also ed7b5cd3a7f2);
|
file |
diff |
annotate
|
Sun, 07 May 2017 23:57:20 +0200 |
wenzelm |
cpu time is somewhat redundant for threads=1;
|
file |
diff |
annotate
|
Sun, 07 May 2017 23:18:23 +0200 |
wenzelm |
clarified description vs. file name;
|
file |
diff |
annotate
|
Sun, 07 May 2017 22:10:48 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Sun, 07 May 2017 21:42:23 +0200 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
Sun, 07 May 2017 17:40:41 +0200 |
wenzelm |
more uniform charts;
|
file |
diff |
annotate
|
Sun, 07 May 2017 17:29:38 +0200 |
wenzelm |
always show ml_timing -- in another chart;
|
file |
diff |
annotate
|
Sun, 07 May 2017 17:10:03 +0200 |
wenzelm |
removed threshold: redundant due to sorting;
|
file |
diff |
annotate
|
Sun, 07 May 2017 17:06:05 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Sun, 07 May 2017 16:42:36 +0200 |
wenzelm |
parallel gnuplot invocation;
|
file |
diff |
annotate
|
Sun, 07 May 2017 16:31:39 +0200 |
wenzelm |
more HTML output;
|
file |
diff |
annotate
|
Sun, 07 May 2017 16:14:49 +0200 |
wenzelm |
clarified explicit Build_Status.Data operations;
|
file |
diff |
annotate
|
Sun, 07 May 2017 13:42:20 +0200 |
wenzelm |
more uniform threads value, notably for Pure session;
|
file |
diff |
annotate
|
Sun, 07 May 2017 13:20:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 06 May 2017 21:28:41 +0200 |
wenzelm |
added option verbose for SQL source;
|
file |
diff |
annotate
|
Sat, 06 May 2017 20:51:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 06 May 2017 20:00:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 06 May 2017 19:23:33 +0200 |
wenzelm |
clarified name;
|
file |
diff |
annotate
| base
|