Fabian Huch <huch@in.tum.de> [Thu, 09 Nov 2023 19:06:50 +0100] rev 78934
proper dummy timing entries;
Fabian Huch <huch@in.tum.de> [Thu, 09 Nov 2023 17:58:21 +0100] rev 78933
use only finished sessions in timing data;
Fabian Huch <huch@in.tum.de> [Thu, 09 Nov 2023 16:39:36 +0100] rev 78932
tuned;
Fabian Huch <huch@in.tum.de> [Thu, 09 Nov 2023 15:45:51 +0100] rev 78931
performance tuning for build schedule: explicit schedule generation, without mixing heuristics;
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;