| Sun, 26 Feb 2023 20:19:01 +0100 |
wenzelm |
misc tuning and clarification: more uniform use of optional "sql" in SQL.Table.delete/select;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 13:50:07 +0100 |
wenzelm |
clarified signature: more concise operations;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 22:29:24 +0100 |
wenzelm |
removed somewhat pointless support for Jenkins log files: it has stopped working long ago;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 16:08:43 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 15:04:15 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 25 Aug 2022 15:52:42 +0200 |
wenzelm |
tuned signature: build_log db is specific to PostgreSQL;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2021 14:31:11 +0100 |
wenzelm |
proper fields for gnuplot (amending b614e3e4146a);
|
file |
diff |
annotate
|
| Sat, 27 Nov 2021 13:55:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 12 Nov 2021 23:20:05 +0100 |
wenzelm |
proper detection of ARM platform variants;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:50:00 +0100 |
wenzelm |
tuned --- avoid deprecated conversions between certain number type;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 22:50:09 +0100 |
wenzelm |
clarified caching;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| 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
|
| 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
|