| Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:17:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| 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
|