| 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
|