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
|