Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

User Since
Sep 24 2019, 9:33 PM (45 w, 21 h)
Roles
Administrator

Recent Activity

Today

makarius committed rISABELLE43a43b182a81: merged.
merged
Wed, Aug 5, 6:46 PM
makarius committed rISABELLE41e1e2395a67: avoid exhaustion of worker threads, notably due to complex interaction of….
avoid exhaustion of worker threads, notably due to complex interaction of…
Wed, Aug 5, 6:46 PM
makarius committed rISABELLE3afd6b1c7ab5: more robust: insist in finished future;.
more robust: insist in finished future;
Wed, Aug 5, 6:46 PM
makarius committed rISABELLEdf99d26efeeb: unused;.
unused;
Wed, Aug 5, 6:46 PM

Wed, Jul 29

makarius committed rISABELLEb8d0b8659e0a: more robust scheduler shutdown, notably for spurious crashes;.
more robust scheduler shutdown, notably for spurious crashes;
Wed, Jul 29, 8:46 PM

Sun, Jul 26

makarius committed rISABELLEbd9d1ce274c9: enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;.
enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
Sun, Jul 26, 10:39 PM
makarius committed rISABELLE9c0b835d4cc2: proper pretty printing for latex output, notably for pide_session=true….
proper pretty printing for latex output, notably for pide_session=true…
Sun, Jul 26, 10:39 PM

Sat, Jul 25

makarius committed rISABELLEf3e1144a1cec: clarified name to avoid duplication (no distinction of data on host =….
clarified name to avoid duplication (no distinction of data on host =…
Sat, Jul 25, 11:27 PM
makarius committed rISABELLEf56522a44564: clarified names;.
clarified names;
Sat, Jul 25, 11:27 PM
makarius committed rISABELLEfed7b0ae20d8: more errors;.
more errors;
Sat, Jul 25, 12:49 PM

Fri, Jul 24

makarius committed rAFP40e16c534243: much faster proofs (cf. Isabelle/bad75618fb82);.
much faster proofs (cf. Isabelle/bad75618fb82);
Fri, Jul 24, 10:38 PM
makarius committed rISABELLEd3cad9ecd0cc: follow Phabricator update 2020 Week 27;.
follow Phabricator update 2020 Week 27;
Fri, Jul 24, 8:47 PM
makarius committed rISABELLEb17be02a0a11: tuned;.
tuned;
Fri, Jul 24, 8:47 PM
makarius committed rISABELLEebf3ba74bc4c: unused;.
unused;
Fri, Jul 24, 3:37 PM
makarius committed rISABELLE4768b1facec2: clarified errors: avoid hiding of import_errors/dir_errors by their….
clarified errors: avoid hiding of import_errors/dir_errors by their…
Fri, Jul 24, 3:37 PM
makarius committed rISABELLEba5b37671528: clarified signature;.
clarified signature;
Fri, Jul 24, 3:37 PM
makarius committed rISABELLE17507b48b6f5: clarified errors: avoid accidental import from other session that happens to be….
clarified errors: avoid accidental import from other session that happens to be…
Fri, Jul 24, 3:37 PM
makarius committed rISABELLE11dc8929832d: clarified order --- proper sorting of requirements;.
clarified order --- proper sorting of requirements;
Fri, Jul 24, 3:37 PM
makarius committed rISABELLEce844442e2ab: obsolete (see 9cde8c4ea5a5);.
obsolete (see 9cde8c4ea5a5);
Fri, Jul 24, 3:37 PM
makarius committed rISABELLE25985d757b0a: tuned --- based on hints by IntelliJ;.
tuned --- based on hints by IntelliJ;
Fri, Jul 24, 3:37 PM
makarius committed rISABELLEd0909b5d88eb: tuned signature;.
tuned signature;
Fri, Jul 24, 3:37 PM

Tue, Jul 21

makarius committed rISABELLE0f2ff88f823e: updated to polyml-5.8.1 (official release);.
updated to polyml-5.8.1 (official release);
Tue, Jul 21, 1:12 PM
makarius triaged T22: Discontinue obsolete Theory_Data.extend as Low priority.
Tue, Jul 21, 12:52 PM

Mon, Jul 20

makarius created Blog Post: Theory_Data extend operation is obsolete and needs to be the identity function.
Mon, Jul 20, 11:59 PM
makarius committed rISABELLEefb7fd4a6d1f: subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;.
subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
Mon, Jul 20, 11:58 PM
makarius committed rAFPc02eaed866dc: data extend is obsolete and should be identity;.
data extend is obsolete and should be identity;
Mon, Jul 20, 11:51 PM

Fri, Jul 17

makarius committed rISABELLE69880fdc8310: clarified -- avoid non-standard extend/merge;.
clarified -- avoid non-standard extend/merge;
Fri, Jul 17, 9:52 PM
makarius committed rISABELLEce3f26b4e790: clarified -- avoid non-standard extend/merge;.
clarified -- avoid non-standard extend/merge;
Fri, Jul 17, 9:51 PM
makarius committed rISABELLEf8d28617ea08: tuned -- avoid non-standard extend;.
tuned -- avoid non-standard extend;
Fri, Jul 17, 9:51 PM
makarius committed rISABELLEb9f5f30b623f: proper session imports;.
proper session imports;
Fri, Jul 17, 9:51 PM
makarius committed rISABELLEdeb390860f07: clarified -- avoid non-standard extend;.
clarified -- avoid non-standard extend;
Fri, Jul 17, 9:51 PM
makarius committed rISABELLE6c75287276d5: tuned -- avoid non-standard extend/merge;.
tuned -- avoid non-standard extend/merge;
Fri, Jul 17, 9:51 PM
makarius committed rISABELLE4ed33ea8d957: prefer conservative extend/merge of theory naming;.
prefer conservative extend/merge of theory naming;
Fri, Jul 17, 9:51 PM

Thu, Jul 16

makarius committed rISABELLE912f13865596: support native PID for ML process;.
support native PID for ML process;
Thu, Jul 16, 10:55 PM
makarius committed rISABELLE438adb97d82c: merged.
merged
Thu, Jul 16, 10:55 PM
makarius committed rISABELLE18d35be9493f: proper import sessions;.
proper import sessions;
Thu, Jul 16, 10:55 PM
makarius committed rISABELLEd3b8c8b2d1fc: more thorough extend/merge (for Theory.join_theory);.
more thorough extend/merge (for Theory.join_theory);
Thu, Jul 16, 10:55 PM
makarius committed rISABELLEd4de7e4754d2: clarified theory data: more robust merge;.
clarified theory data: more robust merge;
Thu, Jul 16, 10:55 PM
makarius committed rISABELLE2c7cfd2f9b6c: more thorough extend/merge, notably for master_dir across Theory.join_theory (e..
more thorough extend/merge, notably for master_dir across Theory.join_theory (e.
Thu, Jul 16, 10:55 PM
makarius committed rISABELLEefd169aed4dc: more robust: avoid potential problems with encoding of directory name;.
more robust: avoid potential problems with encoding of directory name;
Thu, Jul 16, 10:55 PM
makarius committed rISABELLEc386d1b77762: more thorough extend/merge (for Theory.join_theory);.
more thorough extend/merge (for Theory.join_theory);
Thu, Jul 16, 10:55 PM
makarius committed rISABELLEb9e9ff3a1e1c: more thorough extend/merge (for Theory.join_theory);.
more thorough extend/merge (for Theory.join_theory);
Thu, Jul 16, 10:55 PM

Wed, Jul 15

makarius committed rISABELLE7b112eedc859: more robust wrt. experimental changes in Poly/ML;.
more robust wrt. experimental changes in Poly/ML;
Wed, Jul 15, 8:33 PM
makarius committed rISABELLEbc85d93aad23: more robust: handle unavailable statistics;.
more robust: handle unavailable statistics;
Wed, Jul 15, 7:48 PM
makarius committed rISABELLEc6756adfef0f: merged.
merged
Wed, Jul 15, 5:07 PM
makarius committed rISABELLE254c324f31fd: clarified user counters: expose tasks to external monitor;.
clarified user counters: expose tasks to external monitor;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLEaa6a36c730c9: proper platform path for Windows;.
proper platform path for Windows;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLEe48a5b6b7554: clarified signature;.
clarified signature;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLE25d5ef16401a: support for monitoring of external ML process;.
support for monitoring of external ML process;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLE452073b64f28: clarified signature;.
clarified signature;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLE70bfda10f597: more robust;.
more robust;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLEa25c7c686176: support for monitoring of external ML process;.
support for monitoring of external ML process;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLEb7cec26e41d1: clarified modules: ML_Statistics within bootstrap environment;.
clarified modules: ML_Statistics within bootstrap environment;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLEeece87547736: misc tuning and modernization;.
misc tuning and modernization;
Wed, Jul 15, 5:07 PM
makarius committed rISABELLE83456d9f0ed5: clarified examples;.
clarified examples;
Wed, Jul 15, 5:07 PM

Sat, Jul 11

makarius committed rAFP1bb7b24f2cf5: more realistic timeout: 20min CPU time;.
more realistic timeout: 20min CPU time;
Sat, Jul 11, 10:36 PM
makarius committed rAFPaeedb987222c: tuned whitespace;.
tuned whitespace;
Sat, Jul 11, 10:36 PM
makarius committed rISABELLE45865bb06182: clarified message --- as in former ML version (see 940195fbb282);.
clarified message --- as in former ML version (see 940195fbb282);
Sat, Jul 11, 6:21 PM
makarius committed rISABELLE664e90313a54: clarified signature;.
clarified signature;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLEca69be5f60fe: clarified messages: avoid duplicate Timing;.
clarified messages: avoid duplicate Timing;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE940195fbb282: clarified messages;.
clarified messages;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE17a41deb5950: tuned;.
tuned;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE5c9984820caa: clarified signature;.
clarified signature;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE6c6609fd898c: more accurate message;.
more accurate message;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE5469bacf5573: avoid duplicate Timing messages (see also 5c4800f6b25a);.
avoid duplicate Timing messages (see also 5c4800f6b25a);
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE2550bac18b49: tuned;.
tuned;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE6a24ecc4ff1b: clarified signature;.
clarified signature;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLEc81e58a81b8c: clarified inlined protocol messages;.
clarified inlined protocol messages;
Sat, Jul 11, 6:17 PM
makarius committed rISABELLE0b1c830ebf3a: removed unused property;.
removed unused property;
Sat, Jul 11, 6:17 PM

Fri, Jul 10

makarius committed rISABELLE7a53fc156c2b: proper session Timing for build_history log file (see 5c4800f6b25a);.
proper session Timing for build_history log file (see 5c4800f6b25a);
Fri, Jul 10, 10:46 PM
makarius committed rISABELLE13890356df78: clarified signature;.
clarified signature;
Fri, Jul 10, 10:46 PM
makarius committed rISABELLE751f371d6883: more robust, notably for isabelle_cronjob;.
more robust, notably for isabelle_cronjob;
Fri, Jul 10, 9:36 PM
makarius committed rISABELLE11c46b8e91c0: more robust build_session protocol: allow prover process to terminate/crash….
more robust build_session protocol: allow prover process to terminate/crash…
Fri, Jul 10, 9:36 PM

Wed, Jul 8

makarius committed rISABELLEa7e6ac2dfa58: updated to polyml-5.8.1-20200708: recent repository version for testing;.
updated to polyml-5.8.1-20200708: recent repository version for testing;
Wed, Jul 8, 5:45 PM
makarius committed rISABELLE5c4800f6b25a: more robust protocol for "Timing ..." messages, notably for pide_session=true;.
more robust protocol for "Timing ..." messages, notably for pide_session=true;
Wed, Jul 8, 5:45 PM

Jul 5 2020

makarius committed rISABELLE720b72513ae5: no pide_session on macos: avoid odd "hang" of remote_build_history;.
no pide_session on macos: avoid odd "hang" of remote_build_history;
Jul 5 2020, 11:23 AM
makarius committed rISABELLEf43b08980f56: support generated preferences, i.e. non-strict system options;.
support generated preferences, i.e. non-strict system options;
Jul 5 2020, 11:23 AM

Jul 3 2020

makarius committed rISABELLEcb7ddc321f52: tuned whitespace;.
tuned whitespace;
Jul 3 2020, 8:08 PM
makarius committed rISABELLE088e3aa85250: clarified signature;.
clarified signature;
Jul 3 2020, 8:08 PM
makarius committed rISABELLEbbec0acf2592: use less memory on old hardware;.
use less memory on old hardware;
Jul 3 2020, 8:08 PM
makarius committed rISABELLEc8c3f4f0f68b: clarified log message (more uniform);.
clarified log message (more uniform);
Jul 3 2020, 8:08 PM

Jul 1 2020

makarius committed rISABELLE694009ed4ee1: clarified options --- potentially more robust;.
clarified options --- potentially more robust;
Jul 1 2020, 10:22 PM
makarius committed rISABELLEcea6087e8a70: tuned message;.
tuned message;
Jul 1 2020, 10:05 PM
makarius committed rISABELLE0be06f99b210: clarified signature;.
clarified signature;
Jul 1 2020, 10:05 PM

Jun 26 2020

makarius committed rISABELLE6441b4591eb8: more CONTRIBUTORS;.
more CONTRIBUTORS;
Jun 26 2020, 5:36 PM
makarius closed T12: Hosting of Isabelle/AFP after Jun-2020 as Resolved.

See https://foss.heptapod.net/isa-afp and https://sketis.net/2020/mercurial-hosting-of-isabelle-afp-on-heptapod

Jun 26 2020, 4:39 PM · isabelle-release

Jun 25 2020

makarius committed rISABELLE6678e4d9508f: more uniform URL (see 60b5a4731695);.
more uniform URL (see 60b5a4731695);
Jun 25 2020, 3:46 PM

Jun 24 2020

makarius committed rISABELLE3e54088a7119: clarified use of memory: prefer share tree structures over fresh strings;.
clarified use of memory: prefer share tree structures over fresh strings;
Jun 24 2020, 9:24 PM
makarius committed rISABELLEc5003c5c72c8: more Java heap space (see 2d658beb815b);.
more Java heap space (see 2d658beb815b);
Jun 24 2020, 9:24 PM

Jun 21 2020

makarius updated the post content for Blog Post: System option pide_session is enabled by default.
Jun 21 2020, 11:14 AM
makarius committed rISABELLE80d7f004089d: clarified NEWS;.
clarified NEWS;
Jun 21 2020, 11:13 AM
makarius committed rISABELLE2d658beb815b: enable pide_session by default (again), with extra JVM heap for AFP tests (see….
enable pide_session by default (again), with extra JVM heap for AFP tests (see…
Jun 21 2020, 12:03 AM
makarius committed rISABELLEe5fe4d40326d: discontinued old AFP test: ancient hardware with insufficient resources;.
discontinued old AFP test: ancient hardware with insufficient resources;
Jun 21 2020, 12:02 AM

Jun 20 2020

makarius committed rISABELLE2108c0e7ce13: tuned output;.
tuned output;
Jun 20 2020, 7:14 PM
makarius committed rISABELLE9d98a39aa509: merged.
merged
Jun 20 2020, 5:02 PM
makarius committed rISABELLE34be842f3531: share cache for parallel sessions;.
share cache for parallel sessions;
Jun 20 2020, 5:02 PM
makarius committed rISABELLE67fb92378224: clarified signature;.
clarified signature;
Jun 20 2020, 5:02 PM
makarius committed rISABELLE842dd262540b: more caching, notably for build/pide_session;.
more caching, notably for build/pide_session;
Jun 20 2020, 5:02 PM
makarius committed rISABELLEec0ef3ebe75e: removed pointless pide_exports: unused during "build_session" process….
removed pointless pide_exports: unused during "build_session" process…
Jun 20 2020, 5:02 PM
makarius committed rISABELLE65ad3a6cee81: tuned --- avoid error in IntelliJ IDEA;.
tuned --- avoid error in IntelliJ IDEA;
Jun 20 2020, 5:02 PM