| Sun, 13 Oct 2019 17:17:40 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 10 Mar 2019 22:38:00 +0100 | wenzelm | proper data columns for plots; | file | diff | annotate |
| Sat, 23 Feb 2019 21:48:18 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sat, 23 Feb 2019 21:33:09 +0100 | wenzelm | more memory fields; | file | diff | annotate |
| Wed, 20 Feb 2019 12:10:40 +0100 | wenzelm | updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8); | file | diff | annotate |
| Fri, 25 Jan 2019 15:57:24 +0100 | wenzelm | proper operation in weakly-typed Scala (amending 06153e2e0cdb); | file | diff | annotate |
| Thu, 24 Jan 2019 13:53:33 +0100 | wenzelm | proper treatment of x86_64_32; | file | diff | annotate |
| Sat, 19 Jan 2019 20:18:26 +0100 | wenzelm | more official AFP.groups; | file | diff | annotate |
| Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
| Fri, 20 Apr 2018 22:17:42 +0200 | wenzelm | support for XZ.Cache; | file | diff | annotate |
| Sat, 03 Mar 2018 21:38:27 +0100 | wenzelm | more compact ML_Statistics, to make build_status work with less than 2GB heap; | file | diff | annotate |
| Sat, 03 Mar 2018 17:37:33 +0100 | wenzelm | retain latest ml_stats (amending e76c6cb0d461); | file | diff | annotate |
| Fri, 02 Mar 2018 20:46:25 +0100 | wenzelm | proper order; | file | diff | annotate |
| Thu, 01 Mar 2018 20:44:38 +0100 | wenzelm | clarified date for presentation vs. formal pull_date; | file | diff | annotate |
| Thu, 01 Mar 2018 20:18:24 +0100 | wenzelm | reveal raw data in CSV format; | file | diff | annotate |
| Sat, 04 Nov 2017 15:24:40 +0100 | wenzelm | more robust sorted_entries; | file | diff | annotate |
| Sat, 04 Nov 2017 14:41:26 +0100 | wenzelm | more convenient build_log_history; | file | diff | annotate |
| Wed, 01 Nov 2017 18:24:39 +0100 | wenzelm | proper order for entries from multiple profiles, notably "AFP"; | file | diff | annotate |
| Wed, 01 Nov 2017 17:29:14 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Wed, 18 Oct 2017 20:26:32 +0200 | wenzelm | clarified output; | file | diff | annotate |
| Wed, 18 Oct 2017 20:14:57 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Wed, 18 Oct 2017 19:53:19 +0200 | wenzelm | more thorough treatment of afp_version and afp_pull_date; | file | diff | annotate |
| Fri, 07 Jul 2017 16:57:50 +0200 | wenzelm | proper check wrt. distinct entry dates; | file | diff | annotate |
| Thu, 01 Jun 2017 15:19:50 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 13:01:25 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:57:57 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:52:36 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:36:27 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 May 2017 12:33:14 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 27 May 2017 00:30:48 +0200 | wenzelm | tuned layout; | file | diff | annotate |
| Fri, 26 May 2017 23:33:42 +0200 | wenzelm | show errors from build_log database; | file | diff | annotate |
| Fri, 26 May 2017 23:21:50 +0200 | wenzelm | support for message underline and tooltips; | file | diff | annotate |
| Sun, 21 May 2017 23:41:46 +0200 | wenzelm | more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2); | file | diff | annotate |
| Sun, 21 May 2017 23:07:20 +0200 | wenzelm | show failed sessions on main page; | file | diff | annotate |
| Thu, 18 May 2017 14:41:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 18 May 2017 14:41:20 +0200 | wenzelm | more charts; | file | diff | annotate |
| Thu, 18 May 2017 14:38:09 +0200 | wenzelm | uniform heap_scale; | file | diff | annotate |
| Thu, 18 May 2017 14:14:20 +0200 | wenzelm | more plots from ml_statistics; | file | diff | annotate |
| Thu, 18 May 2017 11:42:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 17 May 2017 23:13:56 +0200 | wenzelm | do not store bulky ml_statistics; | file | diff | annotate |
| Wed, 17 May 2017 23:05:30 +0200 | wenzelm | more output; | file | diff | annotate |
| Wed, 17 May 2017 22:32:48 +0200 | wenzelm | plot average heap size; | file | diff | annotate |
| Wed, 17 May 2017 21:24:16 +0200 | wenzelm | clarified use of XML.Cache; | 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 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 |