User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (233 w, 6 d)
- Roles
- Administrator
Fri, Mar 15
Fri, Mar 15
Thu, Mar 14
Thu, Mar 14
update NEWS + CONTRIBUTORS for release;
Wed, Mar 13
Wed, Mar 13
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…
makarius committed rISABELLE7ae25372ab04: database performance tuning: prefer light-weight IPC over heavy-duty….
database performance tuning: prefer light-weight IPC over heavy-duty…
proper system option, instead of hardwired default;
tuned signature: fewer warnings in IntelliJ IDEA;
Tue, Mar 12
Tue, Mar 12
proper file headers;
makarius committed rISABELLE630a82f87310: database performance tuning: pull changed entries only, based on recorded….
database performance tuning: pull changed entries only, based on recorded…
tuned signature: more operations;
clarified signature: more explicit types;
removed somewhat pointless check;
tuned signature: fewer warnings in IntelliJ IDEA;
Mon, Mar 11
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;
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;
tuned: prefer if_proper expression;
tuned: prefer if_proper expression;
Sun, Mar 10
Sun, Mar 10
unused (see 123f2c0995b8);
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…
tuned: remove redundant guard;
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…
clarified signature: init_state vs. init_unsynchronized;
more thorough "isabelle build_process -C -r -f";
tuned signature: more uniform SQL.Data instances;
Sat, Mar 9
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"…
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…
proper tables (amending 4611b7b47b42);
record updates within database, based on serial;
clarified signature: improved data integrity;
misc tuning: prefer Build_Process.Update operations;
makarius committed rISABELLE4611b7b47b42: misc tuning and clarification: prefer explicit type Build_Process.Update;.
misc tuning and clarification: prefer explicit type Build_Process.Update;
misc tuning and clarification;
makarius committed rISABELLE5969ead9f900: clarified data representation: more uniform treatment of State.Pending vs..
clarified data representation: more uniform treatment of State.Pending vs.
makarius committed rISABELLEe38f5f81592d: tuned: drop pointless SQL.order_by (see also 5f706f7c624b);.
tuned: drop pointless SQL.order_by (see also 5f706f7c624b);
upgrade pretty_maybe_quote following 2746dfc9ceae;
eliminate odd aliases (see also 2746dfc9ceae);
tuned signature: prefer bottom-up construction;
adapted to Isabelle/2746dfc9ceae;
Fri, Mar 8
Fri, Mar 8
clarified signature;
makarius committed rISABELLE0c2a62a9f136: more operations for Build_Log.Meta_Info: prefer explicit types;.
more operations for Build_Log.Meta_Info: prefer explicit types;
more operations for Date and Time;
makarius committed rISABELLE11fa48986f37: more accurate patterns --- reverting unused fc3ba0a1c82f;.
more accurate patterns --- reverting unused fc3ba0a1c82f;
makarius committed rISABELLE56f506c556f1: remove unused/fragile option (amending db37cae970a6) --- universal_table….
remove unused/fragile option (amending db37cae970a6) --- universal_table…
prefer explicit option "build_log_verbose";
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…
makarius committed rISABELLEd9fc2cc37694: more robust build_start for master and workers (via database);.
more robust build_start for master and workers (via database);
makarius committed rISABELLE4b23abde5d0b: more accurate progress.now(), notably for Database_Progress;.
more accurate progress.now(), notably for Database_Progress;
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…
Wed, Mar 6
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;
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;
makarius committed rAFP845e35e9d4ad: more accurate timeout;.
more accurate timeout;
proper release bundle_name (amending 0e7dd3eaa6e8);
Tue, Mar 5
Tue, Mar 5
Added tag Isabelle2024-RC0 for changeset 98f009f56400
updated for release;
updated for release;
misc tuning for release;
clarified signature;
avoid suspicious Unicode;
tuned whitespace: avoid TABs;
tuned signature: fewer warnings in IntelliJ IDEA;
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…
drop unused Task.info field;
proper guard_time (amending 752806151432);
more robust, notably for remote process (via SSH);
proper dynamic access (amending c3f07c950116);
proper dynamic access (amending 52b5c7c8e6d9);
prefer dynamic objects, following a5fda30edae2;