| Wed, 17 Apr 2024 21:20:31 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 17:06:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:54:15 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 14:48:08 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 17:36:50 +0100 |
Fabian Huch |
raise error if benchmarking fails;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 16:35:55 +0100 |
Fabian Huch |
option for benchmark session;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 13:05:49 +0100 |
Fabian Huch |
add hosts option to run benchmark on the cluster from the command-line;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 14:05:15 +0100 |
Fabian Huch |
always provide build_database_server option in benchmark command;
|
file |
diff |
annotate
|
| Fri, 15 Mar 2024 17:57:03 +0100 |
Fabian Huch |
change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible);
|
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:58:40 +0100 |
wenzelm |
proper file headers;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 16:06:06 +0100 |
wenzelm |
prefer dynamic objects, following a5fda30edae2;
|
file |
diff |
annotate
|
| Thu, 22 Feb 2024 13:57:13 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2024 19:36:53 +0100 |
wenzelm |
build local log_db, with store/restore via optional database server;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 13:01:00 +0100 |
wenzelm |
tuned: afford untyped/unscoped update;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 21:28:28 +0100 |
wenzelm |
tuned: afford untyped/unscoped update;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 15:20:38 +0100 |
wenzelm |
clarified signature: more standard defaults;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 15:04:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 15:00:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 14:48:32 +0100 |
wenzelm |
clarified signature: prefer default;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 10:45:24 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Fri, 16 Feb 2024 10:31:50 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:57:19 +0100 |
wenzelm |
prefer static object, while class is required for "services" (see 47eb96592aa2);
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:48:25 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|