11 months ago track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
Fabian Huch <huch@in.tum.de> [Thu, 14 Mar 2024 10:01:51 +0100] rev 79892
track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
11 months ago use inherited build_start, following d9fc2cc37694;
Fabian Huch <huch@in.tum.de> [Thu, 14 Mar 2024 09:36:11 +0100] rev 79891
use inherited build_start, following d9fc2cc37694;
11 months ago update NEWS + CONTRIBUTORS for release;
wenzelm [Thu, 14 Mar 2024 11:03:23 +0100] rev 79890
update NEWS + CONTRIBUTORS for release;
11 months ago Tuned proofs
haftmann [Wed, 13 Mar 2024 18:39:41 +0000] rev 79889
Tuned proofs
11 months ago merged
wenzelm [Wed, 13 Mar 2024 23:27:44 +0100] rev 79888
merged
11 months ago revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;
wenzelm [Wed, 13 Mar 2024 23:26:30 +0100] rev 79887
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers; retain notion of next_jobs.limit and finished() from 0e79fa88cab6; clarified Job vs. optional Build_Job;
11 months ago database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
wenzelm [Wed, 13 Mar 2024 17:36:35 +0100] rev 79886
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
11 months ago tuned;
wenzelm [Wed, 13 Mar 2024 16:14:23 +0100] rev 79885
tuned;
11 months ago tuned whitespace;
wenzelm [Wed, 13 Mar 2024 16:09:11 +0100] rev 79884
tuned whitespace;
11 months ago proper system option, instead of hardwired default;
wenzelm [Wed, 13 Mar 2024 11:23:22 +0100] rev 79883
proper system option, instead of hardwired default;
11 months ago tuned signature: fewer warnings in IntelliJ IDEA;
wenzelm [Wed, 13 Mar 2024 11:04:06 +0100] rev 79882
tuned signature: fewer warnings in IntelliJ IDEA;
11 months ago tuned comments;
wenzelm [Wed, 13 Mar 2024 10:58:15 +0100] rev 79881
tuned comments;
11 months ago clarified build schedule host: proper module;
Fabian Huch <huch@in.tum.de> [Wed, 13 Mar 2024 11:54:06 +0100] rev 79880
clarified build schedule host: proper module;
11 months ago remove unused dummy;
Fabian Huch <huch@in.tum.de> [Wed, 13 Mar 2024 11:45:20 +0100] rev 79879
remove unused dummy;
11 months ago tuned;
Fabian Huch <huch@in.tum.de> [Wed, 13 Mar 2024 11:05:53 +0100] rev 79878
tuned;
11 months ago use timeout as default build time predictor if no data is available;
Fabian Huch <huch@in.tum.de> [Tue, 12 Mar 2024 13:52:29 +0100] rev 79877
use timeout as default build time predictor if no data is available;
11 months ago merged
paulson [Tue, 12 Mar 2024 16:20:02 +0000] rev 79876
merged
11 months ago Restored Riemann_Mapping as an import of Complex_Analysis
paulson <lp15@cam.ac.uk> [Tue, 12 Mar 2024 16:19:52 +0000] rev 79875
Restored Riemann_Mapping as an import of Complex_Analysis
11 months ago proper file headers;
wenzelm [Tue, 12 Mar 2024 15:58:40 +0100] rev 79874
proper file headers;
11 months ago clarified modules;
wenzelm [Tue, 12 Mar 2024 15:57:25 +0100] rev 79873
clarified modules;
11 months ago merged
wenzelm [Tue, 12 Mar 2024 15:31:44 +0100] rev 79872
merged
11 months ago database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
wenzelm [Tue, 12 Mar 2024 15:30:32 +0100] rev 79871
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
11 months ago tuned signature: more operations;
wenzelm [Tue, 12 Mar 2024 15:11:29 +0100] rev 79870
tuned signature: more operations;
11 months ago clarified signature: more explicit types;
wenzelm [Tue, 12 Mar 2024 13:17:25 +0100] rev 79869
clarified signature: more explicit types;
11 months ago tuned signature;
wenzelm [Tue, 12 Mar 2024 11:18:38 +0100] rev 79868
tuned signature;
11 months ago removed somewhat pointless check;
wenzelm [Tue, 12 Mar 2024 11:16:06 +0100] rev 79867
removed somewhat pointless check;
11 months ago tuned signature: fewer warnings in IntelliJ IDEA;
wenzelm [Tue, 12 Mar 2024 11:14:02 +0100] rev 79866
tuned signature: fewer warnings in IntelliJ IDEA;
11 months ago merged
paulson [Tue, 12 Mar 2024 12:11:39 +0000] rev 79865
merged
11 months ago Fixed a latex error in the markup
paulson <lp15@cam.ac.uk> [Tue, 12 Mar 2024 12:11:28 +0000] rev 79864
Fixed a latex error in the markup
11 months ago minor performance tuning: SQL.order_by is only for demo purposes;
wenzelm [Mon, 11 Mar 2024 23:03:12 +0100] rev 79863
minor performance tuning: SQL.order_by is only for demo purposes;
11 months ago support efficient access to state updates, based on LEFT OUTER JOIN;
wenzelm [Mon, 11 Mar 2024 22:12:56 +0100] rev 79862
support efficient access to state updates, based on LEFT OUTER JOIN;
11 months ago tuned signature;
wenzelm [Mon, 11 Mar 2024 20:44:34 +0100] rev 79861
tuned signature;
11 months ago tuned: prefer if_proper expression;
wenzelm [Mon, 11 Mar 2024 20:33:49 +0100] rev 79860
tuned: prefer if_proper expression;
11 months ago tuned signature;
wenzelm [Mon, 11 Mar 2024 20:31:35 +0100] rev 79859
tuned signature;
11 months ago tuned: prefer if_proper expression;
wenzelm [Mon, 11 Mar 2024 20:24:59 +0100] rev 79858
tuned: prefer if_proper expression;
11 months ago New material by Wenda Li and Manuel Eberl
paulson <lp15@cam.ac.uk> [Mon, 11 Mar 2024 15:07:02 +0000] rev 79857
New material by Wenda Li and Manuel Eberl
11 months ago merged
traytel [Mon, 11 Mar 2024 08:46:20 +0100] rev 79856
merged
11 months ago export BNF properties about the cardinal bound (by Jan van Brügge)
traytel [Mon, 11 Mar 2024 08:45:55 +0100] rev 79855
export BNF properties about the cardinal bound (by Jan van Brügge)
11 months ago unused (see 123f2c0995b8);
wenzelm [Sun, 10 Mar 2024 22:55:18 +0100] rev 79854
unused (see 123f2c0995b8);
11 months ago tuned;
wenzelm [Sun, 10 Mar 2024 22:42:27 +0100] rev 79853
tuned;
11 months ago more robust init_built: get_build_id and start_build within the same transaction;
wenzelm [Sun, 10 Mar 2024 18:01:14 +0100] rev 79852
more robust init_built: get_build_id and start_build within the same transaction;
11 months ago tuned: remove redundant guard;
wenzelm [Sun, 10 Mar 2024 17:33:44 +0100] rev 79851
tuned: remove redundant guard;
11 months ago maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid;
wenzelm [Sun, 10 Mar 2024 17:30:23 +0100] rev 79850
maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid; clarified database table "isabelle_build_updates";
11 months ago more operations;
wenzelm [Sun, 10 Mar 2024 14:20:20 +0100] rev 79849
more operations;
11 months ago clarified signature: init_state vs. init_unsynchronized;
wenzelm [Sun, 10 Mar 2024 13:32:15 +0100] rev 79848
clarified signature: init_state vs. init_unsynchronized;
11 months ago more thorough "isabelle build_process -C -r -f";
wenzelm [Sun, 10 Mar 2024 12:03:46 +0100] rev 79847
more thorough "isabelle build_process -C -r -f";
11 months ago more operations;
wenzelm [Sun, 10 Mar 2024 12:03:13 +0100] rev 79846
more operations;
11 months ago tuned signature;
wenzelm [Sun, 10 Mar 2024 11:51:56 +0100] rev 79845
tuned signature;
11 months ago tuned signature: more uniform SQL.Data instances;
wenzelm [Sun, 10 Mar 2024 10:50:12 +0100] rev 79844
tuned signature: more uniform SQL.Data instances;
11 months ago tuned signature;
wenzelm [Sun, 10 Mar 2024 10:40:48 +0100] rev 79843
tuned signature;
11 months ago tuned signature;
wenzelm [Sun, 10 Mar 2024 10:37:28 +0100] rev 79842
tuned signature;
11 months ago disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
wenzelm [Sat, 09 Mar 2024 22:04:07 +0100] rev 79841
disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
11 months ago revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used;
wenzelm [Sat, 09 Mar 2024 22:02:27 +0100] rev 79840
revert part of 5969ead9f900 that does not quite work yet: only one accidental host is used;
11 months ago record updates within database, based on serial;
wenzelm [Sat, 09 Mar 2024 20:52:06 +0100] rev 79839
record updates within database, based on serial;
11 months ago proper tables (amending 4611b7b47b42);
wenzelm [Sat, 09 Mar 2024 20:20:13 +0100] rev 79838
proper tables (amending 4611b7b47b42);
11 months ago tuned;
wenzelm [Sat, 09 Mar 2024 20:04:07 +0100] rev 79837
tuned;
11 months ago clarified signature: improved data integrity;
wenzelm [Sat, 09 Mar 2024 19:57:08 +0100] rev 79836
clarified signature: improved data integrity;
11 months ago clarified modules;
wenzelm [Sat, 09 Mar 2024 17:23:09 +0100] rev 79835
clarified modules;
11 months ago clarified modules;
wenzelm [Sat, 09 Mar 2024 16:59:38 +0100] rev 79834
clarified modules;
11 months ago obsolete;
wenzelm [Sat, 09 Mar 2024 16:52:08 +0100] rev 79833
obsolete;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip