| Thu, 16 Jan 2025 16:10:26 +0100 |
Fabian Huch |
build schedule: limit history length;
|
file |
diff |
annotate
|
| Sat, 04 Jan 2025 12:51:59 +0100 |
wenzelm |
follow Phorge 2024 week 35;
|
file |
diff |
annotate
|
| Fri, 01 Nov 2024 16:57:33 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 28 Oct 2024 09:43:28 +0100 |
wenzelm |
GUI option "editor_auto_hovering" for Output panel;
|
file |
diff |
annotate
|
| Thu, 31 Oct 2024 14:58:53 +0100 |
Fabian Huch |
less hidden configuration;
|
file |
diff |
annotate
|
| Tue, 22 Oct 2024 17:32:34 +0200 |
Fabian Huch |
update ci mail address;
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 15:00:37 +0200 |
Fabian Huch |
build_manager: terminate processes if cancelling does not work;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 18:22:33 +0200 |
Fabian Huch |
remove inactive (e.g., crashed) hosts from scheduling;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 15:25:27 +0200 |
Fabian Huch |
tuned;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 15:24:04 +0200 |
Fabian Huch |
add timeout to build manager tasks/jobs (e.g. for cluster builds that don't terminate after error on host);
|
file |
diff |
annotate
|
| Sun, 30 Jun 2024 13:20:40 +0200 |
wenzelm |
follow Phorge 2024 week 19;
|
file |
diff |
annotate
|
| Wed, 12 Jun 2024 17:06:34 +0200 |
Fabian Huch |
overhauled ci_build: clarified, removed unused, removed implicit Jenkins assumptions;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2024 13:53:45 +0200 |
Fabian Huch |
extra timer delay, to limit db transactions;
|
file |
diff |
annotate
|
| Fri, 07 Jun 2024 15:47:19 +0200 |
Fabian Huch |
add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 15:01:31 +0200 |
Fabian Huch |
tuned;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 15:01:20 +0200 |
Fabian Huch |
build manager: manage directories/permissions, to minimize local administration;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 09:02:36 +0200 |
Fabian Huch |
add build manager module;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
file |
diff |
annotate
|
| Sun, 17 Mar 2024 22:48:44 +0100 |
Fabian Huch |
allow specifying initial schedule;
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 17:00:13 +0100 |
Fabian Huch |
allow read/write of schedule in build (read via option, write from tool);
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 14:43:48 +0100 |
Fabian Huch |
remove schedule outdated limit: delay is sufficient;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2024 14:20:44 +0100 |
Fabian Huch |
more synced options (following 6e5397fcc41b);
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 17:36:35 +0100 |
wenzelm |
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 11:23:22 +0100 |
wenzelm |
proper system option, instead of hardwired default;
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 19:04:18 +0100 |
wenzelm |
prefer explicit option "build_log_verbose";
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 18:58:49 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 20:33:09 +0100 |
wenzelm |
tuned documentation;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2024 17:30:49 +0100 |
Fabian Huch |
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2024 20:55:58 +0100 |
wenzelm |
support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";
|
file |
diff |
annotate
|
| Sat, 13 Jan 2024 21:51:51 +0100 |
wenzelm |
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2023 13:10:01 +0100 |
Fabian Huch |
add delay and limit options for when schedule is considered outdated;
|
file |
diff |
annotate
|
| Sun, 26 Nov 2023 14:02:27 +0100 |
wenzelm |
more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 12:41:41 +0100 |
wenzelm |
obsolete (see also f627ab8c276c);
|
file |
diff |
annotate
|
| Tue, 31 Oct 2023 14:26:19 +0100 |
wenzelm |
clarified database transactions (see also 2c704ae04db1, 7bd0a250183b);
|
file |
diff |
annotate
|
| Thu, 26 Oct 2023 10:53:51 +0200 |
Fabian Huch |
use mail module in CI build;
|
file |
diff |
annotate
|
| Tue, 24 Oct 2023 18:29:53 +0200 |
Fabian Huch |
prefer Isabelle options for CI mail settings over ci.properties;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2023 20:39:28 +0200 |
wenzelm |
clarified option name (see also ff43a524aa5d);
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 14:51:07 +0200 |
wenzelm |
support for Build_Cluster.Session.init (rsync + Admin/init);
|
file |
diff |
annotate
|
| Sat, 22 Jul 2023 11:41:43 +0200 |
wenzelm |
clarified option (see also b66b6cc1eb8c);
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 16:04:59 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 13:29:18 +0200 |
wenzelm |
clarified options: accommodate potentially slow database connection;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 11:40:00 +0200 |
wenzelm |
add option "build_context" in anticipation of AFP entries that require special tricks in Isabelle/ML (NB: system component settings are unavailable in AFP);
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 10:56:19 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 23:03:39 +0200 |
wenzelm |
more options for performance tuning;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2023 13:34:18 +0200 |
wenzelm |
more conservative build_delay (despite 9600720071e6): avoid exessive build_database operations, notably via ssh;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 14:11:56 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 18:30:56 +0200 |
wenzelm |
revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 16:51:52 +0200 |
wenzelm |
ML_system_apple=false for more stability;
|
file |
diff |
annotate
|
| Wed, 21 Jun 2023 15:31:18 +0200 |
wenzelm |
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
|
file |
diff |
annotate
|
| Wed, 21 Jun 2023 15:20:58 +0200 |
wenzelm |
prefer system option;
|
file |
diff |
annotate
|
| Wed, 10 May 2023 15:43:49 +0200 |
wenzelm |
proper system options to control context tracing/timing;
|
file |
diff |
annotate
|
| Sun, 26 Mar 2023 15:47:40 +0200 |
wenzelm |
removed junk (amending 236e43c8bb5b);
|
file |
diff |
annotate
|
| Sun, 26 Mar 2023 12:46:15 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 15:16:17 +0100 |
wenzelm |
more thorough treatment of build prefs, guarded by system option "build_through": avoid accidental rebuild of HOL etc.;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2023 13:18:25 +0100 |
wenzelm |
clarified build options;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:31:58 +0100 |
wenzelm |
clarified exported options;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2023 11:13:53 +0100 |
wenzelm |
support option tags;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 16:09:22 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Mon, 27 Feb 2023 10:26:36 +0100 |
wenzelm |
clarified system option: guard for testing, until the database layout has stabilized;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 21:05:39 +0100 |
wenzelm |
option build_hostname allows to change hostname easily;
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 11:55:24 +0100 |
wenzelm |
support for build database: still inactive;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 11:07:31 +0100 |
wenzelm |
unused (see also 7b318273a4aa and a1fb4d28e609);
|
file |
diff |
annotate
|
| Tue, 21 Feb 2023 12:03:52 +0100 |
wenzelm |
support alternative build engines, via system option "build_engine";
|
file |
diff |
annotate
|
| Tue, 31 Jan 2023 17:00:33 +0100 |
wenzelm |
automatically build document when selected theories are finished;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 16:28:03 +0100 |
wenzelm |
clarified treatment of cite macro name;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 12:07:08 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 20:15:09 +0100 |
wenzelm |
basic support for update_cite_commands;
|
file |
diff |
annotate
|
| Tue, 06 Dec 2022 16:23:49 +0100 |
wenzelm |
more uniform session selectors, with persistent options;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 20:27:35 +0100 |
wenzelm |
afford more reactive consolidation;
|
file |
diff |
annotate
|
| Sun, 06 Nov 2022 15:28:56 +0100 |
wenzelm |
afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 13:33:04 +0100 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2022 13:01:06 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2022 11:15:36 +0200 |
wenzelm |
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
|
file |
diff |
annotate
|
| Tue, 27 Sep 2022 13:34:54 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2022 10:38:52 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2022 00:24:20 +0200 |
wenzelm |
show SSH options in PIDE GUI;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 14:02:02 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 12:49:04 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2022 21:37:17 +0200 |
wenzelm |
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2022 14:59:01 +0200 |
wenzelm |
support port forwarding without multiplexing (for the sake of Windows);
|
file |
diff |
annotate
|
| Mon, 12 Sep 2022 23:26:21 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Fri, 09 Sep 2022 14:03:29 +0200 |
wenzelm |
discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);
|
file |
diff |
annotate
|
| Thu, 08 Sep 2022 20:46:22 +0200 |
wenzelm |
enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a);
|
file |
diff |
annotate
|
| Tue, 06 Sep 2022 12:44:02 +0200 |
wenzelm |
option "show_states" for more verbosity of batch-builds;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2022 22:47:09 +0200 |
wenzelm |
clarified options, following e.g. "show_consts";
|
file |
diff |
annotate
|
| Fri, 02 Sep 2022 23:19:02 +0200 |
wenzelm |
proper description;
|
file |
diff |
annotate
|
| Wed, 24 Nov 2021 22:57:33 +0100 |
wenzelm |
option document_comment_latex supports e.g. Dagstuhl LIPIcs;
|
file |
diff |
annotate
|
| Sun, 21 Nov 2021 17:42:11 +0100 |
wenzelm |
clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true";
|
file |
diff |
annotate
|
| Sat, 20 Nov 2021 18:58:23 +0100 |
wenzelm |
Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 16:48:42 +0100 |
wenzelm |
discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 13:51:24 +0100 |
wenzelm |
clarified messages, depending on option "document_echo";
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 15:20:08 +0200 |
wenzelm |
follow phabricator 2021 Week 26;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 15:13:34 +0200 |
wenzelm |
follow Phabricator update 2021 Week 23;
|
file |
diff |
annotate
|
| Mon, 07 Jun 2021 13:04:17 +0200 |
wenzelm |
updated descriptions;
|
file |
diff |
annotate
|
| Sun, 06 Jun 2021 20:29:52 +0200 |
wenzelm |
clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
|
file |
diff |
annotate
|
| Mon, 24 May 2021 11:58:06 +0200 |
wenzelm |
clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");
|
file |
diff |
annotate
|
| Wed, 19 May 2021 13:19:37 +0200 |
wenzelm |
explicit option document_bibliography;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 22:02:21 +0200 |
wenzelm |
option document_preprocessor;
|
file |
diff |
annotate
|
| Tue, 18 May 2021 15:17:55 +0200 |
wenzelm |
option document_logo;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 23:30:25 +0200 |
wenzelm |
option document_build refers to build engine in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 13:14:16 +0200 |
wenzelm |
ignore session build timeout, notably in AFP;
|
file |
diff |
annotate
|
| Fri, 14 May 2021 21:32:11 +0200 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|
| Mon, 05 Apr 2021 22:45:01 +0200 |
wenzelm |
following recent Phabricator update, after 2021 Week 13 (Late March);
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 17:29:49 +0100 |
wenzelm |
clarified timeouts in Isabelle/ML;
|
file |
diff |
annotate
|
| Wed, 27 Jan 2021 13:44:08 +0100 |
wenzelm |
follow Phabricator update 2021 Week 4;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2020 14:08:35 +0100 |
wenzelm |
follow Phabricator update 2020 Week 42;
|
file |
diff |
annotate
|
| Wed, 16 Dec 2020 15:44:17 +0100 |
wenzelm |
afford more reactive input;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 12:57:58 +0100 |
wenzelm |
full PIDE reports in batch build: see how it impacts overall performance;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:23:33 +0100 |
wenzelm |
clarified options: batch-build has pide_reports disabled by default (requires significant resources);
|
file |
diff |
annotate
|
| Sat, 21 Nov 2020 17:12:17 +0100 |
wenzelm |
clarified document output;
|
file |
diff |
annotate
|
| Wed, 11 Nov 2020 22:20:57 +0100 |
wenzelm |
clarified build_doc, based on Present.build_documents;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 16:32:41 +0200 |
wenzelm |
follow Phabricator update 2020 Week 37;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2020 18:03:17 +0200 |
wenzelm |
discontinue export_document --- always enabled (reverting f0f83ce0badd);
|
file |
diff |
annotate
|
| Sun, 16 Aug 2020 22:02:11 +0200 |
wenzelm |
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:26:01 +0200 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
| Fri, 24 Jul 2020 20:43:32 +0200 |
wenzelm |
follow Phabricator update 2020 Week 27;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 22:35:24 +0200 |
wenzelm |
enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 11:01:57 +0200 |
wenzelm |
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
|
file |
diff |
annotate
|