| 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
|
| Fri, 07 Sep 2018 23:47:26 +0200 |
wenzelm |
continuously clean frontier of already committed theories: much less resource requirements;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:27:28 +0200 |
wenzelm |
clarified error progress and error_rc;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:18:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 19:11:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2018 17:08:47 +0200 |
wenzelm |
dump aspects asynchronously;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 20:04:51 +0200 |
wenzelm |
more detailed progress;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 18:47:31 +0200 |
wenzelm |
more robust default options, notably for node consolidation;
|
file |
diff |
annotate
|
| Mon, 03 Sep 2018 18:45:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2018 22:30:08 +0200 |
wenzelm |
clarified quasi_consolidated state: ensure that exports are present for ok nodes;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 12:41:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 12 Aug 2018 14:31:46 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 12 Aug 2018 14:28:28 +0200 |
wenzelm |
proper session dirs;
Isabelle2018
|
file |
diff |
annotate
|
| Sat, 11 Aug 2018 17:28:20 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 01 Jul 2018 12:37:24 +0200 |
wenzelm |
proper error;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 11:36:31 +0200 |
wenzelm |
proper build_heap;
|
file |
diff |
annotate
|
| Sun, 24 Jun 2018 22:13:23 +0200 |
wenzelm |
disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
|
file |
diff |
annotate
|
| Mon, 11 Jun 2018 15:50:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 Jun 2018 20:37:16 +0200 |
wenzelm |
clarified signature: prefer Document.Snapshot;
|
file |
diff |
annotate
|
| Sat, 02 Jun 2018 22:11:09 +0200 |
wenzelm |
more args;
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 15:53:35 +0200 |
wenzelm |
documentation for "isabelle dump";
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 11:51:03 +0200 |
wenzelm |
more dump aspects, with options;
|
file |
diff |
annotate
|
| Fri, 01 Jun 2018 11:10:22 +0200 |
wenzelm |
clarified default: all aspects;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 17:10:02 +0200 |
wenzelm |
store Isabelle symbols in canonical form;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 14:46:04 +0200 |
wenzelm |
clarified outermost progress.interrupt_handler;
|
file |
diff |
annotate
|
| Wed, 30 May 2018 14:34:43 +0200 |
wenzelm |
report theory progress via PIDE node status;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 18:09:08 +0200 |
wenzelm |
shutdown ML process before output: Theories_Result is timeless/stateless;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 17:45:48 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 15:04:02 +0200 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Tue, 29 May 2018 14:38:32 +0200 |
wenzelm |
more formal dump aspects;
|
file |
diff |
annotate
|
| Mon, 28 May 2018 22:25:10 +0200 |
wenzelm |
support to dump build database produced by PIDE session;
|
file |
diff |
annotate
|