Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

User Since
Sep 24 2019, 9:33 PM (218 w, 1 d)
Roles
Administrator

Recent Activity

Yesterday

makarius committed rISABELLE722937a213ef: merged.
merged
Wed, Nov 29, 10:12 PM
makarius committed rISABELLE2c457c4cd486: misc tuning and clarification;.
misc tuning and clarification;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLE01f9128ec655: more compact representation;.
more compact representation;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLE9d6359b71264: more compact representation of theory_id -- via consecutive thread-local ids;.
more compact representation of theory_id -- via consecutive thread-local ids;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLE238c4acdf984: more compact representation;.
more compact representation;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLE6b071d4041d5: tuned signature;.
tuned signature;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLEa1b5357b5473: more compact representation of theory_id;.
more compact representation of theory_id;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLEe671abce8f8e: tuned signature;.
tuned signature;
Wed, Nov 29, 10:12 PM
makarius committed rISABELLE7f24c5be57bd: compact representation of sets of integers;.
compact representation of sets of integers;
Wed, Nov 29, 10:12 PM

Sun, Nov 26

makarius committed rISABELLE212c94edae2b: more reactive headless server, in contrast to 15656ad28691 (when "isabelle….
more reactive headless server, in contrast to 15656ad28691 (when "isabelle…
Sun, Nov 26, 2:04 PM
makarius committed rISABELLE0da44db32646: tuned whitespace;.
tuned whitespace;
Sun, Nov 26, 2:04 PM

Sat, Nov 25

makarius committed rISABELLEa54be9630ef8: clarified modules;.
clarified modules;
Sat, Nov 25, 8:56 PM
makarius committed rISABELLE07799c394b6d: clarified signature;.
clarified signature;
Sat, Nov 25, 8:56 PM
makarius committed rISABELLEad7f485195df: clarified modules;.
clarified modules;
Sat, Nov 25, 8:56 PM
makarius committed rISABELLE6977fb0153fb: clarified modules: Build_Log.private_data provides raw data access without….
clarified modules: Build_Log.private_data provides raw data access without…
Sat, Nov 25, 8:56 PM
makarius committed rISABELLE10eb2ebd23ba: more thorough transaction_lock;.
more thorough transaction_lock;
Sat, Nov 25, 8:56 PM
makarius committed rISABELLE9f2040e5e2d6: obsolete, see also a5896fe040dd;.
obsolete, see also a5896fe040dd;
Sat, Nov 25, 5:11 PM
makarius committed rISABELLEae682b2aab03: removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);.
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
Sat, Nov 25, 4:56 PM
makarius committed rISABELLEf13390b2c1ee: provide src/Tools/Demo as example for system component with Isabelle/Scala tool;.
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
Sat, Nov 25, 4:29 PM

Fri, Nov 24

makarius committed rISABELLE156bfa6a2836: merged.
merged
Fri, Nov 24, 10:27 PM
makarius committed rISABELLEc83cdd300848: clarified buffer_size;.
clarified buffer_size;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE1f34f6394383: more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);.
more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43);
Fri, Nov 24, 10:27 PM
makarius committed rISABELLEedc0dbd59d48: merged.
merged
Fri, Nov 24, 10:27 PM
makarius committed rISABELLEbadb3da19ac6: disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL….
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL…
Fri, Nov 24, 10:27 PM
makarius committed rISABELLEd5cf21ad8b47: workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read….
workaround for "fix" JDK-4512626 in Java 20/21: avoid spurious caret in read…
Fri, Nov 24, 10:27 PM
makarius committed rISABELLEc87e4a5a3823: tuned;.
tuned;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE4d8716098d41: prefer Unix-domain socket on Unix;.
prefer Unix-domain socket on Unix;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE10b6add456d0: support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;.
support for Unix-domain sockets, using java.nio.channels.ServerSocketChannel;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLEcaddfe4949a8: tuned;.
tuned;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE13afea5203f1: clarified signature: more general make_streams;.
clarified signature: more general make_streams;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE926fc9ca7360: tuned;.
tuned;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE24d04dd5bf01: more robust exception handling (amending 8cc1ae43e12e);.
more robust exception handling (amending 8cc1ae43e12e);
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE8cc1ae43e12e: clarified signature: avoid deprecated URL constructors;.
clarified signature: avoid deprecated URL constructors;
Fri, Nov 24, 10:27 PM
makarius committed rISABELLE22c41ee13939: avoid deprecated URL constructors;.
avoid deprecated URL constructors;
Fri, Nov 24, 10:27 PM

Tue, Nov 21

makarius committed rISABELLE3befd4d1e6f2: proper build with jdk-21 (amending 4fb5e6499da9);.
proper build with jdk-21 (amending 4fb5e6499da9);
Tue, Nov 21, 11:40 PM

Mon, Nov 20

makarius committed rAFPc9a93a5c83cd: more realistic timeouts for lrzcloud2:threads=1;.
more realistic timeouts for lrzcloud2:threads=1;
Mon, Nov 20, 10:32 PM
makarius created Blog Post: Update to OpenJDK 21.
Mon, Nov 20, 10:20 PM · isabelle-dev
makarius committed rISABELLEf318399a9fb6: NEWS;.
NEWS;
Mon, Nov 20, 10:17 PM
makarius committed rISABELLE4fb5e6499da9: update to jdk-21.0.1;.
update to jdk-21.0.1;
Mon, Nov 20, 9:50 PM
makarius committed rISABELLEb6bca0666c38: rebuild jedit with minimal patch for jdk-21, following SVN 25690;.
rebuild jedit with minimal patch for jdk-21, following SVN 25690;
Mon, Nov 20, 9:50 PM
makarius committed rISABELLEd9b32243798f: clarified modules;.
clarified modules;
Mon, Nov 20, 9:50 PM
makarius committed rISABELLEaceca8baf804: suppress duplicate entries systematically using log_name: e.g. relevant for AFP;.
suppress duplicate entries systematically using log_name: e.g. relevant for AFP;
Mon, Nov 20, 9:50 PM
makarius committed rISABELLE3641cd880bb3: clarified operation: pick current pull_date instead of previous one;.
clarified operation: pick current pull_date instead of previous one;
Mon, Nov 20, 9:50 PM

Sun, Nov 19

makarius committed rISABELLE778831a801e3: build_history: proper support for ISABELLE_APPLE_PLATFORM64;.
build_history: proper support for ISABELLE_APPLE_PLATFORM64;
Sun, Nov 19, 8:50 PM
makarius committed rISABELLE769e850bb1d7: prefer symbolic build_history_base_arm;.
prefer symbolic build_history_base_arm;
Sun, Nov 19, 8:50 PM
makarius committed rISABELLE39fb869160d6: clarified isabelle_hg (again, see b9d59669904a);.
clarified isabelle_hg (again, see b9d59669904a);
Sun, Nov 19, 7:46 PM
makarius committed rISABELLE674954a49364: clarified signature: explicit Remote_Build.count instead of duplicate entries….
clarified signature: explicit Remote_Build.count instead of duplicate entries…
Sun, Nov 19, 7:46 PM
makarius committed rISABELLEb9d59669904a: clarified signature: more operations and options concerning Isabelle hg;.
clarified signature: more operations and options concerning Isabelle hg;
Sun, Nov 19, 3:17 PM
makarius committed rISABELLE07f135271c80: performance tuning: cache graph;.
performance tuning: cache graph;
Sun, Nov 19, 3:17 PM
makarius committed rISABELLEbd250213c262: unused (see also 004b39bf06a5);.
unused (see also 004b39bf06a5);
Sun, Nov 19, 1:07 PM
makarius committed rISABELLE93abe74fe16f: tuned signature: fewer warnings in IntelliJ IDEA;.
tuned signature: fewer warnings in IntelliJ IDEA;
Sun, Nov 19, 1:07 PM
makarius committed rISABELLEae2f5fd0bb5d: clarified signature and modules: more explicit Build_Log.History;.
clarified signature and modules: more explicit Build_Log.History;
Sun, Nov 19, 1:07 PM

Sat, Nov 18

makarius committed rISABELLEf728be354ffb: tuned: avoid recursion;.
tuned: avoid recursion;
Sat, Nov 18, 9:15 PM
makarius committed rISABELLEd8352eb7aa7b: tuned;.
tuned;
Sat, Nov 18, 8:52 PM
makarius committed rISABELLEee8c014526dc: avoid duplicate data;.
avoid duplicate data;
Sat, Nov 18, 7:47 PM
makarius committed rISABELLE3fb4dbffca79: output more data;.
output more data;
Sat, Nov 18, 7:47 PM
makarius committed rISABELLE24e686fe043e: clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;.
clarified Log_File.cache: reuse existing Store.cache / Build_Log.Store.cache;
Sat, Nov 18, 7:47 PM
makarius committed rISABELLE10680bb927cd: tuned whitespace;.
tuned whitespace;
Sat, Nov 18, 7:47 PM
makarius committed rISABELLE417b490c9b89: proper ml_statistics (amending aeb511a520f4);.
proper ml_statistics (amending aeb511a520f4);
Sat, Nov 18, 7:47 PM

Sun, Nov 12

makarius committed rISABELLE890783dc4bc6: tuned signature;.
tuned signature;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE7419b8d473ac: merged.
merged
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE7a58c1199de3: tuned signature;.
tuned signature;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE30360ee939f4: clarified signature: more operations, allow recursive get;.
clarified signature: more operations, allow recursive get;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLEa2de1f6ff94e: support for "cluster" table with "hosts" array, and params/options as for….
support for "cluster" table with "hosts" array, and params/options as for…
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE11045cf2b5c2: tuned signature: more operations;.
tuned signature: more operations;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLEf4e7dec70fa4: clarified signature;.
clarified signature;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE78698a97afb3: tuned output;.
tuned output;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLEc125f75a5144: more robust: prefer strict operations;.
more robust: prefer strict operations;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE932b2a7139e2: tuned message;.
tuned message;
Sun, Nov 12, 11:06 PM
makarius committed rISABELLE12abaffb0346: tuned signature: more operations;.
tuned signature: more operations;
Sun, Nov 12, 11:06 PM

Sat, Nov 11

makarius committed rISABELLEdb9dba720ac7: proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in….
proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in…
Sat, Nov 11, 10:28 PM
makarius committed rISABELLEb6116a86d2ac: clarified signature;.
clarified signature;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE4e1dc465dfcc: clarified modules;.
clarified modules;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLEc8c40e11c907: clarified signature: more operations;.
clarified signature: more operations;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE2a27d2c8eae8: prefer strict test of system options;.
prefer strict test of system options;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE2d1275c7db99: more NEWS;.
more NEWS;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE20f2f34a81bd: more TODO;.
more TODO;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLEcd350dcd912a: tuned comments;.
tuned comments;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE87ac093e4d1a: some build cluster resources at TUM;.
some build cluster resources at TUM;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLEb0b86fead48c: more robust init;.
more robust init;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE73162a487f94: build cluster host specifications are based on registry entries (table prefix….
build cluster host specifications are based on registry entries (table prefix…
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE409442cb7814: support interpreted/typed entries via Registry.Category and Registry.Table;.
support interpreted/typed entries via Registry.Category and Registry.Table;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLEbc89bdc65f29: clarified signature: more operations;.
clarified signature: more operations;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE4cb67b3895b9: clarified output;.
clarified output;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLEbc7b7357f4bc: clarified signature: more operations;.
clarified signature: more operations;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE218929597048: support for global registry;.
support for global registry;
Sat, Nov 11, 10:28 PM
makarius committed rISABELLE7774e1372476: clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require….
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require…
Sat, Nov 11, 10:28 PM

Thu, Nov 9

makarius committed rISABELLE64f47e86526b: clarified signature: emphasize mutable instance;.
clarified signature: emphasize mutable instance;
Thu, Nov 9, 2:40 PM
makarius committed rISABELLE35d42112301a: clarified signature: more operations;.
clarified signature: more operations;
Thu, Nov 9, 2:40 PM
makarius committed rISABELLEb33a7c6b99c5: support for explicit SSH hostname;.
support for explicit SSH hostname;
Thu, Nov 9, 2:40 PM
makarius committed rISABELLE0481c84f6919: proper local host (amending 62d7ef1da441);.
proper local host (amending 62d7ef1da441);
Thu, Nov 9, 2:40 PM

Wed, Nov 8

makarius committed rISABELLE2fee5fba3116: proper default for disjunction (amending 9f7a94117666);.
proper default for disjunction (amending 9f7a94117666);
Wed, Nov 8, 8:33 PM
makarius committed rISABELLEe495f910dd94: tuned;.
tuned;
Wed, Nov 8, 8:33 PM
makarius committed rISABELLE7847cbfe3a62: more operations;.
more operations;
Wed, Nov 8, 4:07 PM
makarius committed rISABELLE8378354bbdad: avoid option -C: free this latter for build-related configuration;.
avoid option -C: free this latter for build-related configuration;
Wed, Nov 8, 4:04 PM
makarius committed rISABELLE30e0c15a71f7: more direct indentation, using Symbol.spaces;.
more direct indentation, using Symbol.spaces;
Wed, Nov 8, 4:04 PM
makarius committed rISABELLE90756ad4d8d7: more accurate treatment of surrounding whitespace;.
more accurate treatment of surrounding whitespace;
Wed, Nov 8, 4:04 PM
makarius committed rISABELLEe97fa2edf4b2: clarified signature;.
clarified signature;
Wed, Nov 8, 4:04 PM
makarius committed rISABELLE715f1bd21993: obsolete (see also f627ab8c276c);.
obsolete (see also f627ab8c276c);
Wed, Nov 8, 4:04 PM
makarius committed rISABELLEecb02f288636: tuned signature;.
tuned signature;
Wed, Nov 8, 12:35 PM