Thu, 18 May 2017 13:51:25 +0200 |
wenzelm |
simplified signature;
|
file |
diff |
annotate
|
Wed, 17 May 2017 22:27:33 +0200 |
wenzelm |
more systematic maximum and average;
|
file |
diff |
annotate
|
Wed, 17 May 2017 20:52:24 +0200 |
wenzelm |
store processed content instead of somewhat bulky properties;
|
file |
diff |
annotate
|
Wed, 17 May 2017 14:58:48 +0200 |
wenzelm |
include full ML statistics: max heap size;
|
file |
diff |
annotate
|
Wed, 17 May 2017 13:47:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 13 Apr 2017 12:27:57 +0200 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|
Fri, 18 Jan 2013 16:20:09 +0100 |
wenzelm |
added "tasks_proof" statistics, via slighly odd global reference Future.forked_proofs (NB: Future.report_status is intertwined with scheduler thread);
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 22:14:29 +0100 |
wenzelm |
proper window title;
|
file |
diff |
annotate
|
Sat, 12 Jan 2013 22:08:38 +0100 |
wenzelm |
add icon for toplevel windows;
|
file |
diff |
annotate
|
Tue, 08 Jan 2013 21:16:51 +0100 |
wenzelm |
include timing properties in log;
build_history_base
|
file |
diff |
annotate
|
Thu, 03 Jan 2013 13:54:45 +0100 |
wenzelm |
improved Monitor_Dockable, based on ML_Statistics operations;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 21:55:57 +0100 |
wenzelm |
added standard_frames convenience;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 21:39:54 +0100 |
wenzelm |
some grouping of standard fields;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 21:02:47 +0100 |
wenzelm |
some support for chart drawing;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 19:23:18 +0100 |
wenzelm |
some support for ML statistics content interpretation;
|
file |
diff |
annotate
|
Wed, 02 Jan 2013 16:48:22 +0100 |
wenzelm |
ML runtime statistics: read properties from build log;
|
file |
diff |
annotate
|