| Sat, 14 Jun 2025 14:31:54 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 21:52:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 21:49:50 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 15:11:46 +0200 |
wenzelm |
support bash via SSH;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:35:38 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
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
|
| Tue, 12 Mar 2024 15:57:25 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2024 10:50:12 +0100 |
wenzelm |
tuned signature: more uniform SQL.Data instances;
|
file |
diff |
annotate
|
| Mon, 04 Mar 2024 11:05:36 +0100 |
wenzelm |
more robust: assume that database is exclusive for this Progress instance --- always close on exit (see also bf377e10ff3b);
|
file |
diff |
annotate
|
| Sun, 25 Feb 2024 20:40:21 +0100 |
wenzelm |
database performance tuning: prefer light-weight IPC over heavy-duty transactions;
|
file |
diff |
annotate
|
| Sat, 24 Feb 2024 11:05:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 02 Nov 2023 11:57:40 +0100 |
wenzelm |
clarified signature: explicit Progress date;
|
file |
diff |
annotate
|
| Thu, 02 Nov 2023 10:23:28 +0100 |
wenzelm |
more robust: support concurrent output;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:40:01 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Sun, 27 Aug 2023 14:22:28 +0200 |
wenzelm |
more robust access to local variables;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 12:18:31 +0200 |
wenzelm |
proper sync_database for receive timeout;
|
file |
diff |
annotate
|
| Tue, 22 Aug 2023 11:54:06 +0200 |
wenzelm |
clarified source structure;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 15:04:22 +0200 |
wenzelm |
clarified signature: proper treatment of implicit state (amending d0c9d277620e);
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 12:34:53 +0200 |
wenzelm |
clarified signature: more robust treatment of implicit state;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 11:56:07 +0200 |
wenzelm |
proper sync_database for Database_Progress consumer;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 11:43:29 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 11:42:16 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 20 Aug 2023 22:24:24 +0200 |
wenzelm |
limit size and complexity of bulk transactions;
|
file |
diff |
annotate
|
| Sat, 19 Aug 2023 22:57:06 +0200 |
wenzelm |
clarified signature: filter batch;
|
file |
diff |
annotate
|
| Sat, 19 Aug 2023 14:45:57 +0200 |
wenzelm |
more scalable write_messages via db.execute_batch_statement;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2023 20:13:49 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2023 20:06:24 +0200 |
wenzelm |
restrict input_messages to master build_process: avoid excessive db traffic for distributed build_workers;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2023 19:01:40 +0200 |
wenzelm |
more scalable Database_Progress via asynchronous Consumer_Thread.fork_bulk;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2023 14:46:24 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|