Fabian Huch <huch@in.tum.de> [Fri, 17 Nov 2023 09:38:15 +0100] rev 78982
add file information to toml parse context and error messages;
Fabian Huch <huch@in.tum.de> [Fri, 17 Nov 2023 09:23:28 +0100] rev 78981
add position information to toml parser and error messages;
Fabian Huch <huch@in.tum.de> [Thu, 16 Nov 2023 15:36:34 +0100] rev 78980
properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;
Fabian Huch <huch@in.tum.de> [Thu, 16 Nov 2023 15:23:41 +0100] rev 78979
allow re-defining keys in toml object (already checked during parse time);
Fabian Huch <huch@in.tum.de> [Thu, 16 Nov 2023 15:19:24 +0100] rev 78978
clarified toString for toml objects;
nipkow [Thu, 16 Nov 2023 14:33:45 +0100] rev 78977
tuned
Fabian Huch <huch@in.tum.de> [Mon, 13 Nov 2023 18:08:05 +0100] rev 78976
tuned message;
Fabian Huch <huch@in.tum.de> [Mon, 13 Nov 2023 17:48:11 +0100] rev 78975
better invalidation for schedule cache (only on relevant changes);
Fabian Huch <huch@in.tum.de> [Mon, 13 Nov 2023 17:31:37 +0100] rev 78974
tuned;
Fabian Huch <huch@in.tum.de> [Mon, 13 Nov 2023 17:25:26 +0100] rev 78973
timing heuristic: parallelize more aggressively to utilize hosts fully;