| Tue, 24 Jun 2025 22:08:20 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 15 Jun 2025 22:46:45 +0200 |
wenzelm |
more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
|
file |
diff |
annotate
|
| Wed, 12 Feb 2025 00:40:57 +0100 |
wenzelm |
removed unused imports;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:26:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 22:13:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 06 Jun 2024 21:48:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 17 Apr 2024 21:20:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:54:15 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 15:11:13 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2024 12:12:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2024 12:05:01 +0200 |
wenzelm |
back to static numa_nodes (reverting part of c2c59de57df9);
|
file |
diff |
annotate
|
| Fri, 15 Mar 2024 19:15:04 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2024 10:01:51 +0100 |
Fabian Huch |
track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 23:26:30 +0100 |
wenzelm |
revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 17:36:35 +0100 |
wenzelm |
database performance tuning: prefer light-weight IPC over heavy-duty transactions, following bf377e10ff3b;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 16:14:23 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 11:23:22 +0100 |
wenzelm |
proper system option, instead of hardwired default;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2024 10:58:15 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 15:57:25 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 15:30:32 +0100 |
wenzelm |
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 13:17:25 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 11:18:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 11:16:06 +0100 |
wenzelm |
removed somewhat pointless check;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2024 11:14:02 +0100 |
wenzelm |
tuned signature: fewer warnings in IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2024 23:03:12 +0100 |
wenzelm |
minor performance tuning: SQL.order_by is only for demo purposes;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2024 22:12:56 +0100 |
wenzelm |
support efficient access to state updates, based on LEFT OUTER JOIN;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2024 20:44:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2024 22:42:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2024 18:01:14 +0100 |
wenzelm |
more robust init_built: get_build_id and start_build within the same transaction;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2024 17:33:44 +0100 |
wenzelm |
tuned: remove redundant guard;
|
file |
diff |
annotate
|