| Fri, 08 Mar 2024 20:38:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 16:06:06 +0100 |
wenzelm |
prefer dynamic objects, following a5fda30edae2;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2023 19:26:37 +0200 |
Fabian Huch |
generalized node infos: allow addressing of numa node segments via relative cpus;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 20:14:44 +0200 |
wenzelm |
discontinue special treatment of AFP: "isabelle dump" has been superseded by regular "isabelle build" databases;
|
file |
diff |
annotate
|
| Sat, 22 Jul 2023 16:01:46 +0200 |
wenzelm |
more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 19:09:17 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2023 18:58:48 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 23:25:30 +0100 |
wenzelm |
clarified signature: manage "verbose" flag via "progress";
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 22:29:21 +0100 |
wenzelm |
clarified treatment of "verbose" messages, e.g. Progress.theory();
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 14:58:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 21:04:49 +0100 |
wenzelm |
clarified signature: more concise operations;
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 17:10:22 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 15:42:13 +0100 |
wenzelm |
tunes signature;
|
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
|
| 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
|
| Wed, 19 May 2021 10:41:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:14:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 16:08:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 13:52:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 13:37:10 +0100 |
wenzelm |
proper output of document sources (cf. d892f6d66402);
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2020 18:03:17 +0200 |
wenzelm |
discontinue export_document --- always enabled (reverting f0f83ce0badd);
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 11:26:01 +0200 |
wenzelm |
removed pointless option "ML_statistics": always enabled;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2020 14:25:48 +0200 |
wenzelm |
clarified order --- proper sorting of requirements;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:17:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Apr 2020 19:50:36 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| Fri, 03 Apr 2020 20:29:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2020 13:04:24 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Wed, 25 Mar 2020 17:33:46 +0100 |
wenzelm |
clarified messages: indicate termination explicitly;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2020 19:55:42 +0100 |
wenzelm |
avoid accidental update of base session sources (following documentation in "system" manual);
|
file |
diff |
annotate
|
| Mon, 09 Mar 2020 19:35:07 +0100 |
wenzelm |
more scalable output of YXML files;
|
file |
diff |
annotate
|
| Mon, 25 Nov 2019 10:58:15 +0100 |
wenzelm |
avoid vacuous session Pure -- dump does not read_pure_theory;
|
file |
diff |
annotate
|
| Sun, 24 Nov 2019 15:45:32 +0100 |
wenzelm |
clarified vacuous selection vs. Pure;
|
file |
diff |
annotate
|
| Sun, 24 Nov 2019 15:31:28 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2019 11:25:18 +0200 |
wenzelm |
cumulative errors for session partitions;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2019 11:06:18 +0200 |
wenzelm |
proper guard for process_theory: ensure uniform precedence of results;
|
file |
diff |
annotate
|
| Tue, 15 Oct 2019 10:52:42 +0200 |
wenzelm |
load HOL-Proofs first: it introduces some extra "thm" items that are required later on;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 22:22:06 +0200 |
wenzelm |
more complete coverage of sessions: process_theory operation needs to handle duplicate theories;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 22:09:10 +0200 |
wenzelm |
proper build_graph to make session selection work as in "isabelle build";
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 21:57:36 +0200 |
wenzelm |
incorporate sessions with record_proofs;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 21:00:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 20:29:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 20:22:37 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 20:05:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:37:12 +0200 |
wenzelm |
clarified treatment of base logic image;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 19:14:03 +0200 |
wenzelm |
simplified options: always split;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 18:51:12 +0200 |
wenzelm |
proper guard -- avoid bad result;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 17:19:08 +0200 |
wenzelm |
split into standard partitions, for improved scalability;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 13:21:53 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 13:17:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2019 12:07:37 +0200 |
wenzelm |
clarified signature: static Dump.Context vs. dynamic Dump.Session;
|
file |
diff |
annotate
|
| Mon, 07 Oct 2019 11:35:43 +0200 |
wenzelm |
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
|
file |
diff |
annotate
|
| Tue, 01 Oct 2019 20:21:30 +0200 |
wenzelm |
avoid censorship of options, e.g. relevant for Isabelle/MMT to provide its own value;
|
file |
diff |
annotate
|
| Tue, 01 Oct 2019 19:54:42 +0200 |
wenzelm |
consolidate less aggressively: avoid live-lock when PIDE round-trip takes too long (e.g. in complex theory hierarchies);
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 21:01:08 +0200 |
wenzelm |
clarified share_common_data: after finished checkpoint, before next edits;
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 17:28:40 +0200 |
wenzelm |
obsolete (see 030a6baa5cb2 and d14ddb1df52c);
|
file |
diff |
annotate
|
| Mon, 30 Sep 2019 13:23:49 +0200 |
wenzelm |
added dump_options: disabled by default;
|
file |
diff |
annotate
|
| Sun, 15 Sep 2019 14:01:38 +0200 |
wenzelm |
more ambitious options (again);
|
file |
diff |
annotate
|
| Sun, 15 Sep 2019 13:52:30 +0200 |
wenzelm |
more ambitious options (again, after 93aa546ffbac);
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 16:21:44 +0200 |
wenzelm |
eliminated pointless theory graph (reverting parts of a56eab490f4e): it caused problems with loaded vs. non-loaded node names, e.g. for theory Pure (see also 29bb1ebb188f);
|
file |
diff |
annotate
|
| Sat, 07 Sep 2019 14:50:38 +0200 |
wenzelm |
disable fragile options for now;
|
file |
diff |
annotate
|
| Fri, 06 Sep 2019 15:45:05 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Wed, 04 Sep 2019 22:12:44 +0200 |
wenzelm |
disable share_common_data for now (amending 0f8742b5a9e8) -- potentially more robust;
|
file |
diff |
annotate
|
| Wed, 04 Sep 2019 22:00:38 +0200 |
wenzelm |
load theories in stages, to reduce ML heap requirements;
|
file |
diff |
annotate
|
| Tue, 03 Sep 2019 14:56:43 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 02 Sep 2019 19:44:12 +0200 |
wenzelm |
more explicit type Dump.Session, with context information;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2019 17:13:49 +0200 |
wenzelm |
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2019 23:01:53 +0200 |
wenzelm |
enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2019 10:18:50 +0200 |
wenzelm |
more scalable -- less ML heap requirements;
|
file |
diff |
annotate
|
| Wed, 28 Aug 2019 10:13:32 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 18 Mar 2019 21:06:26 +0100 |
wenzelm |
support unicode_symbols in input source;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 16:47:22 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 16:23:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2019 19:12:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2019 18:45:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Wed, 02 Jan 2019 12:50:32 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 19:26:48 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 17:37:02 +0100 |
wenzelm |
clarified signature, notably cascade of dump_options, deps, resources, session;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 16:13:05 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 16:11:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 14:58:51 +0100 |
wenzelm |
clarified errors, according to Isabelle/MMT;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 13:49:09 +0100 |
wenzelm |
tuned, according to Isabelle/MMT;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 13:15:13 +0100 |
wenzelm |
clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 12:52:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 28 Dec 2018 16:58:27 +0100 |
wenzelm |
clarified sessions_deps, according to Isabelle/MMT usage;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 17:15:40 +0100 |
wenzelm |
tuned signature: for other dump-like tools;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:59:55 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:32:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 16:56:53 +0100 |
wenzelm |
clarified defaults via system options;
|
file |
diff |
annotate
|
| Tue, 02 Oct 2018 19:02:47 +0200 |
wenzelm |
unbounded tracing for proper termination, e.g. relevant for theory Sequents.Hard_Quantifiers;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 14:24:53 +0200 |
wenzelm |
proper return code for runtime failure;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 13:22:43 +0200 |
wenzelm |
clarified errors: no result from forced session.stop, check pending theories;
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 16:47:03 +0200 |
wenzelm |
suppress some theories to allow "isabelle dump -o skip_proofs";
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 14:31:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 23:07:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 11:14:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 18 Sep 2018 11:05:14 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 22:10:58 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2018 21:50:14 +0200 |
wenzelm |
more detailed session dependencies, with conditions for theories;
|
file |
diff |
annotate
|
| Wed, 12 Sep 2018 20:58:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 22:21:19 +0200 |
wenzelm |
implicit use of NUMA policy, absorbing potential errors;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 21:48:26 +0200 |
wenzelm |
more uniform Progress, with theory() for batch-build and theory_percentage() for PIDE session;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 14:30:31 +0200 |
wenzelm |
more accurate output;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 13:36:40 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 13:22:23 +0200 |
wenzelm |
more accurate output;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:34:11 +0200 |
wenzelm |
support for watchdog_timeout;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:18:15 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 12:01:22 +0200 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2018 11:44:47 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|