Fabian Huch <huch@in.tum.de> [Thu, 09 Nov 2023 11:49:08 +0100] rev 78930
performance tuning for build schedule: faster stopping;
Fabian Huch <huch@in.tum.de> [Thu, 09 Nov 2023 11:41:19 +0100] rev 78929
performance tuning for timing heuristic: pre-calculate graph operations;
Fabian Huch <huch@in.tum.de> [Wed, 08 Nov 2023 11:08:03 +0100] rev 78928
move timing data into scheduler for more efficient heuristics (e.g., with pre-calculated values);
wenzelm [Thu, 09 Nov 2023 14:28:17 +0100] rev 78927
clarified signature: emphasize mutable instance;
wenzelm [Thu, 09 Nov 2023 14:22:19 +0100] rev 78926
clarified signature: more operations;
wenzelm [Thu, 09 Nov 2023 13:31:09 +0100] rev 78925
support for explicit SSH hostname;
wenzelm [Thu, 09 Nov 2023 11:30:33 +0100] rev 78924
proper local host (amending 62d7ef1da441);
nipkow [Wed, 08 Nov 2023 21:45:02 +0100] rev 78923
merged
nipkow [Wed, 08 Nov 2023 21:44:44 +0100] rev 78922
added lemma
wenzelm [Wed, 08 Nov 2023 20:31:29 +0100] rev 78921
proper default for disjunction (amending 9f7a94117666);