Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

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

Recent Activity

Fri, Mar 15

makarius committed rISABELLE1cfc913987d9: clarified names;.
clarified names;
Fri, Mar 15, 7:17 PM

Thu, Mar 14

makarius committed rISABELLE80487bd00820: update NEWS + CONTRIBUTORS for release;.
update NEWS + CONTRIBUTORS for release;
Thu, Mar 14, 11:06 AM

Wed, Mar 13

makarius committed rISABELLE7b4b524cdee2: merged.
merged
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE17220dc05991: revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards….
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards…
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE70d4dcede0dc: tuned;.
tuned;
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE7ae25372ab04: database performance tuning: prefer light-weight IPC over heavy-duty….
database performance tuning: prefer light-weight IPC over heavy-duty…
Wed, Mar 13, 11:47 PM
makarius committed rISABELLEcaf61c098754: tuned whitespace;.
tuned whitespace;
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE6fa259b24deb: proper system option, instead of hardwired default;.
proper system option, instead of hardwired default;
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE6f9ae0f052bc: tuned signature: fewer warnings in IntelliJ IDEA;.
tuned signature: fewer warnings in IntelliJ IDEA;
Wed, Mar 13, 11:47 PM
makarius committed rISABELLE098c770e03f5: tuned comments;.
tuned comments;
Wed, Mar 13, 11:46 PM

Tue, Mar 12

makarius committed rISABELLE1e7b5a258bc5: proper file headers;.
proper file headers;
Tue, Mar 12, 4:11 PM
makarius committed rISABELLE6c19c29ddcbe: clarified modules;.
clarified modules;
Tue, Mar 12, 4:11 PM
makarius committed rISABELLE85ff8d62c414: merged.
merged
Tue, Mar 12, 3:34 PM
makarius committed rISABELLE630a82f87310: database performance tuning: pull changed entries only, based on recorded….
database performance tuning: pull changed entries only, based on recorded…
Tue, Mar 12, 3:34 PM
makarius committed rISABELLE510fe8c3d9b8: tuned signature: more operations;.
tuned signature: more operations;
Tue, Mar 12, 3:34 PM
makarius committed rISABELLEea335307d45e: clarified signature: more explicit types;.
clarified signature: more explicit types;
Tue, Mar 12, 3:34 PM
makarius committed rISABELLEede8b298cfe8: tuned signature;.
tuned signature;
Tue, Mar 12, 3:34 PM
makarius committed rISABELLE741b52cb497c: removed somewhat pointless check;.
removed somewhat pointless check;
Tue, Mar 12, 3:34 PM
makarius committed rISABELLE75871d47e400: tuned signature: fewer warnings in IntelliJ IDEA;.
tuned signature: fewer warnings in IntelliJ IDEA;
Tue, Mar 12, 3:34 PM

Mon, Mar 11

makarius committed rISABELLE81717ee51920: minor performance tuning: SQL.order_by is only for demo purposes;.
minor performance tuning: SQL.order_by is only for demo purposes;
Mon, Mar 11, 11:03 PM
makarius committed rISABELLE98d65411bfdb: support efficient access to state updates, based on LEFT OUTER JOIN;.
support efficient access to state updates, based on LEFT OUTER JOIN;
Mon, Mar 11, 10:58 PM
makarius committed rISABELLE47705d905420: tuned signature;.
tuned signature;
Mon, Mar 11, 10:58 PM
makarius committed rISABELLEbc979e334c7d: tuned signature;.
tuned signature;
Mon, Mar 11, 10:58 PM
makarius committed rISABELLEc49cb2a1ec44: tuned: prefer if_proper expression;.
tuned: prefer if_proper expression;
Mon, Mar 11, 10:58 PM
makarius committed rISABELLEee4864e17c11: tuned: prefer if_proper expression;.
tuned: prefer if_proper expression;
Mon, Mar 11, 10:58 PM

Sun, Mar 10

makarius committed rISABELLEea5b1f0cb448: unused (see 123f2c0995b8);.
unused (see 123f2c0995b8);
Sun, Mar 10, 11:22 PM
makarius committed rISABELLE9cb5e20df9a4: tuned;.
tuned;
Sun, Mar 10, 11:22 PM
makarius committed rISABELLE8ffcaf563745: maintain short build_id vs. build_uuid, similar to Database_Progress….
maintain short build_id vs. build_uuid, similar to Database_Progress…
Sun, Mar 10, 6:21 PM
makarius committed rISABELLE61c3e1c5fce5: tuned: remove redundant guard;.
tuned: remove redundant guard;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLE15948836fa90: more robust init_built: get_build_id and start_build within the same….
more robust init_built: get_build_id and start_build within the same…
Sun, Mar 10, 6:21 PM
makarius committed rISABELLEe932bf884346: more operations;.
more operations;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLEdc517696e5ff: clarified signature: init_state vs. init_unsynchronized;.
clarified signature: init_state vs. init_unsynchronized;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLE3d83a2554a71: more operations;.
more operations;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLEf7dfe92e6785: more thorough "isabelle build_process -C -r -f";.
more thorough "isabelle build_process -C -r -f";
Sun, Mar 10, 6:21 PM
makarius committed rISABELLEac40138234ce: tuned signature: more uniform SQL.Data instances;.
tuned signature: more uniform SQL.Data instances;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLE0158007dfdab: tuned signature;.
tuned signature;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLEc052a35e6a4f: tuned signature;.
tuned signature;
Sun, Mar 10, 6:21 PM
makarius committed rISABELLEba306bc7d226: tuned signature;.
tuned signature;
Sun, Mar 10, 6:21 PM

Sat, Mar 9

makarius committed rISABELLE64a49c55609f: disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf"….
disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf"…
Sat, Mar 9, 10:20 PM
makarius committed rISABELLE3f7ac523f5b3: revert part of 5969ead9f900 that does not quite work yet: only one accidental….
revert part of 5969ead9f900 that does not quite work yet: only one accidental…
Sat, Mar 9, 10:20 PM
makarius committed rISABELLE5c9df01bee89: proper tables (amending 4611b7b47b42);.
proper tables (amending 4611b7b47b42);
Sat, Mar 9, 10:20 PM
makarius committed rISABELLEf425bbc4b2eb: record updates within database, based on serial;.
record updates within database, based on serial;
Sat, Mar 9, 10:20 PM
makarius committed rISABELLE207762ffc847: tuned;.
tuned;
Sat, Mar 9, 10:20 PM
makarius committed rISABELLEc69ae2b8987e: clarified signature: improved data integrity;.
clarified signature: improved data integrity;
Sat, Mar 9, 10:20 PM
makarius committed rISABELLEd71af537a6e9: obsolete;.
obsolete;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLE866d96915388: clarified modules;.
clarified modules;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLE45b81ff3c972: clarified modules;.
clarified modules;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLE2a3c0a68221c: misc tuning: prefer Build_Process.Update operations;.
misc tuning: prefer Build_Process.Update operations;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLE4611b7b47b42: misc tuning and clarification: prefer explicit type Build_Process.Update;.
misc tuning and clarification: prefer explicit type Build_Process.Update;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLEa9da5e99e22f: tuned signature;.
tuned signature;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLEd014b6c40eb0: misc tuning and clarification;.
misc tuning and clarification;
Sat, Mar 9, 5:26 PM
makarius committed rISABELLE5969ead9f900: clarified data representation: more uniform treatment of State.Pending vs..
clarified data representation: more uniform treatment of State.Pending vs.
Sat, Mar 9, 5:26 PM
makarius committed rISABELLEe38f5f81592d: tuned: drop pointless SQL.order_by (see also 5f706f7c624b);.
tuned: drop pointless SQL.order_by (see also 5f706f7c624b);
Sat, Mar 9, 5:26 PM
makarius committed rISABELLE487137973a8d: upgrade pretty_maybe_quote following 2746dfc9ceae;.
upgrade pretty_maybe_quote following 2746dfc9ceae;
Sat, Mar 9, 12:46 PM
makarius committed rISABELLEcf9becb6403f: tuned;.
tuned;
Sat, Mar 9, 12:46 PM
makarius committed rISABELLEce3a0d2c9aa7: eliminate odd aliases (see also 2746dfc9ceae);.
eliminate odd aliases (see also 2746dfc9ceae);
Sat, Mar 9, 12:46 PM
makarius committed rISABELLE60f1e32792c1: tuned signature: prefer bottom-up construction;.
tuned signature: prefer bottom-up construction;
Sat, Mar 9, 12:46 PM
makarius committed rISABELLEfb4eb78163ae: tuned;.
tuned;
Sat, Mar 9, 12:45 PM
makarius committed rISABELLE1734334d3dd4: tuned signature;.
tuned signature;
Sat, Mar 9, 12:45 PM
makarius committed rAFPe08b0a512b1e: adapted to Isabelle/2746dfc9ceae;.
adapted to Isabelle/2746dfc9ceae;
Sat, Mar 9, 11:32 AM

Fri, Mar 8

makarius committed rISABELLEe7940d49fe74: clarified signature;.
clarified signature;
Fri, Mar 8, 9:32 PM
makarius committed rISABELLE141df3fb25bf: tuned;.
tuned;
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE0c2a62a9f136: more operations for Build_Log.Meta_Info: prefer explicit types;.
more operations for Build_Log.Meta_Info: prefer explicit types;
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE7308e402451f: more operations for Date and Time;.
more operations for Date and Time;
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE11fa48986f37: more accurate patterns --- reverting unused fc3ba0a1c82f;.
more accurate patterns --- reverting unused fc3ba0a1c82f;
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE56f506c556f1: remove unused/fragile option (amending db37cae970a6) --- universal_table….
remove unused/fragile option (amending db37cae970a6) --- universal_table…
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE2da08d9ce629: prefer explicit option "build_log_verbose";.
prefer explicit option "build_log_verbose";
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE9d484c5d3a63: additional build_log column "session_start", with implicit upgrade of database….
additional build_log column "session_start", with implicit upgrade of database…
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE5f033e4cbeb7: tuned whitespace;.
tuned whitespace;
Fri, Mar 8, 8:42 PM
makarius committed rISABELLEd9fc2cc37694: more robust build_start for master and workers (via database);.
more robust build_start for master and workers (via database);
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE4b23abde5d0b: more accurate progress.now(), notably for Database_Progress;.
more accurate progress.now(), notably for Database_Progress;
Fri, Mar 8, 8:42 PM
makarius committed rISABELLE80a30835f48f: update NEWS;.
update NEWS;
Fri, Mar 8, 11:36 AM
makarius committed rISABELLE5dd2a771811e: activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and….
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and…
Fri, Mar 8, 11:36 AM

Wed, Mar 6

makarius committed rISABELLE1f7dcfdb3e67: revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;.
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
Wed, Mar 6, 9:53 PM
makarius committed rISABELLE33c93008db03: update to current long-term-support version dotnet-8.0.x;.
update to current long-term-support version dotnet-8.0.x;
Wed, Mar 6, 5:05 PM
makarius committed rAFP845e35e9d4ad: more accurate timeout;.
more accurate timeout;
Wed, Mar 6, 4:20 PM
makarius committed rISABELLE60dd45996a6b: proper release bundle_name (amending 0e7dd3eaa6e8);.
proper release bundle_name (amending 0e7dd3eaa6e8);
Wed, Mar 6, 2:16 PM
makarius committed rISABELLE0082387e4830: merged.
merged
Wed, Mar 6, 2:16 PM
makarius created Blog Post: Release Candidates for Isabelle2024.
Wed, Mar 6, 11:33 AM · isabelle-release

Tue, Mar 5

makarius committed rISABELLE3b1ad072d59a: tuned;.
tuned;
Tue, Mar 5, 10:44 PM
makarius committed rISABELLE6f08aef43dc5: Added tag Isabelle2024-RC0 for changeset 98f009f56400.
Added tag Isabelle2024-RC0 for changeset 98f009f56400
Tue, Mar 5, 10:44 PM
makarius committed rISABELLEaa03d1a94e3e: tuned signature;.
tuned signature;
Tue, Mar 5, 10:44 PM
makarius committed rISABELLE0f95dfe27682: updated for release;.
updated for release;
Tue, Mar 5, 10:44 PM
makarius committed rISABELLE98f009f56400: updated for release;.
updated for release;
Tue, Mar 5, 10:44 PM
makarius committed rAFPbdbc6a865570: non-executable files;.
non-executable files;
Tue, Mar 5, 9:11 PM
makarius committed rISABELLE6fadff9e849a: misc tuning for release;.
misc tuning for release;
Tue, Mar 5, 8:49 PM
makarius committed rISABELLE3e5a06add554: clarified signature;.
clarified signature;
Tue, Mar 5, 8:49 PM
makarius committed rISABELLEb053bd598887: avoid suspicious Unicode;.
avoid suspicious Unicode;
Tue, Mar 5, 8:49 PM
makarius committed rISABELLEece213b90d0f: tuned whitespace: avoid TABs;.
tuned whitespace: avoid TABs;
Tue, Mar 5, 8:49 PM
makarius committed rISABELLE589112078150: tuned whitespace;.
tuned whitespace;
Tue, Mar 5, 8:49 PM
makarius committed rISABELLE5e7a594b53b1: tuned signature: fewer warnings in IntelliJ IDEA;.
tuned signature: fewer warnings in IntelliJ IDEA;
Tue, Mar 5, 7:53 PM
makarius committed rISABELLEa79280c7e8d5: merged.
merged
Tue, Mar 5, 7:07 PM
makarius committed rISABELLE60e985e2a12f: update NEWS;.
update NEWS;
Tue, Mar 5, 7:07 PM
makarius committed rISABELLE8bde94328b05: update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin….
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin…
Tue, Mar 5, 7:07 PM
makarius committed rISABELLEa8d7cf8acaa6: drop unused Task.info field;.
drop unused Task.info field;
Tue, Mar 5, 7:07 PM
makarius committed rISABELLE8e17f585177f: proper guard_time (amending 752806151432);.
proper guard_time (amending 752806151432);
Tue, Mar 5, 7:07 PM
makarius committed rISABELLE42c3e6dc57d9: more robust, notably for remote process (via SSH);.
more robust, notably for remote process (via SSH);
Tue, Mar 5, 7:07 PM
makarius committed rISABELLEf1c9e9e4616d: proper dynamic access (amending c3f07c950116);.
proper dynamic access (amending c3f07c950116);
Tue, Mar 5, 7:07 PM
makarius committed rISABELLEc3f07c950116: proper dynamic access (amending 52b5c7c8e6d9);.
proper dynamic access (amending 52b5c7c8e6d9);
Tue, Mar 5, 7:07 PM
makarius committed rISABELLEdb9c6be8e236: prefer dynamic objects, following a5fda30edae2;.
prefer dynamic objects, following a5fda30edae2;
Tue, Mar 5, 7:07 PM