| Sat, 11 Nov 2023 20:13:23 +0100 |
wenzelm |
build cluster host specifications are based on registry entries (table prefix "host");
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 13:14:59 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 13:00:24 +0100 |
wenzelm |
more accurate treatment of surrounding whitespace;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2023 12:02:34 +0100 |
wenzelm |
proper Option.Spec.toString for bash script: avoid Token.quote_name of Options.Spec.print_value (amending 3d1746a716fa, see also 39f6f180008d);
|
file |
diff |
annotate
|
| Sat, 04 Nov 2023 16:30:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2023 20:07:54 +0200 |
Fabian Huch |
prefer extensible next_node_info in build process over process_options in build engine (which needs the final node info anyway);
|
file |
diff |
annotate
|
| Wed, 18 Oct 2023 19:26:37 +0200 |
Fabian Huch |
generalized node infos: allow addressing of numa node segments via relative cpus;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2023 18:45:41 +0200 |
wenzelm |
clarified signature: avoid association with potentially dangerous Exn.capture;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 19:28:59 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 16:56:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 16:47:54 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 16:18:06 +0200 |
wenzelm |
support "isabelle build_worker -q";
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 13:38:56 +0200 |
wenzelm |
support "isabelle build_process -r -f";
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 12:52:48 +0200 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 12:39:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Fri, 25 Aug 2023 20:08:32 +0200 |
wenzelm |
support multiple host names;
|
file |
diff |
annotate
|
| Fri, 25 Aug 2023 15:31:14 +0200 |
wenzelm |
clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock;
|
file |
diff |
annotate
|
| Wed, 23 Aug 2023 11:00:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 13:27:53 +0200 |
wenzelm |
tuned message: failure may stem from build_cluster init;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 10:34:27 +0200 |
wenzelm |
clarified command-line tools;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 10:05:03 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 09:28:44 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 15:54:08 +0200 |
wenzelm |
more robust command options;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2023 20:39:28 +0200 |
wenzelm |
clarified option name (see also ff43a524aa5d);
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 21:08:03 +0200 |
wenzelm |
proper symbolic hostname, as provided via Build_Cluster.Host;
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 20:45:00 +0200 |
wenzelm |
clarified signature: Build_Cluster.Session.build_context;
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 14:51:07 +0200 |
wenzelm |
support for Build_Cluster.Session.init (rsync + Admin/init);
|
file |
diff |
annotate
|
| Sun, 23 Jul 2023 11:50:31 +0200 |
wenzelm |
proper afp_root;
|
file |
diff |
annotate
|
| Sat, 22 Jul 2023 20:37:56 +0200 |
wenzelm |
clarified signature: more "object-oriented" style;
|
file |
diff |
annotate
|
| Sat, 22 Jul 2023 16:01:46 +0200 |
wenzelm |
more flexible Build.Engine.process_options: e.g. to manipulate "process_policy" for ML process;
|
file |
diff |
annotate
|
| Fri, 21 Jul 2023 10:56:11 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 20 Jul 2023 12:55:47 +0200 |
wenzelm |
more pro-forma support for afp_root;
|
file |
diff |
annotate
|
| Thu, 20 Jul 2023 12:42:23 +0200 |
wenzelm |
added option -A for AFP root, following "isabelle sync";
|
file |
diff |
annotate
|
| Thu, 20 Jul 2023 11:10:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 16:56:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 16:48:22 +0200 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 15:56:32 +0200 |
wenzelm |
proper Build_Cluster.Host.parse for parameters and system options;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 13:17:38 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 11:31:19 +0200 |
wenzelm |
proper build_options (amending 822ddccda899);
|
file |
diff |
annotate
|
| Wed, 19 Jul 2023 10:42:40 +0200 |
wenzelm |
proforma support for remote build hosts;
|
file |
diff |
annotate
|
| Mon, 17 Jul 2023 15:31:42 +0200 |
wenzelm |
reuse SSH.Server connection for database server;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 21:01:33 +0200 |
wenzelm |
reuse SSH.Server connection database server;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2023 16:12:38 +0200 |
wenzelm |
clarified signature: proper Scala function for command-line tool;
|
file |
diff |
annotate
|
| Sun, 09 Jul 2023 17:41:02 +0200 |
wenzelm |
clarified modules (amending 570f65953173);
|
file |
diff |
annotate
|
| Sat, 01 Jul 2023 16:42:57 +0200 |
wenzelm |
clarified static Build_Process.Context vs. dynamic Build_Process.State;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2023 16:04:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2023 14:56:38 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 14:45:29 +0200 |
wenzelm |
proper build_master.build_uuid;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 12:39:43 +0200 |
wenzelm |
clarified signature: more concise data;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 12:30:30 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 12:20:09 +0200 |
wenzelm |
clarified signature: better default;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 12:16:02 +0200 |
wenzelm |
show only active builds;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 12:13:46 +0200 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 11:44:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 28 Jun 2023 11:35:02 +0200 |
wenzelm |
support for identified builds;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2023 14:50:48 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2023 11:39:02 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2023 10:24:32 +0200 |
wenzelm |
avoid repeated open_database_server: synchronized transaction_lock;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|