| Sat, 16 Mar 2024 17:00:13 +0100 | Fabian Huch | allow read/write of schedule in build (read via option, write from tool); | changeset | files |
| Sat, 16 Mar 2024 16:46:52 +0100 | Fabian Huch | file representation for schedule (e.g., for generating from external tool); | changeset | files |
| Sat, 16 Mar 2024 15:00:18 +0100 | Fabian Huch | proper median/mean time; | changeset | files |
| Sat, 16 Mar 2024 14:43:48 +0100 | Fabian Huch | remove schedule outdated limit: delay is sufficient; | changeset | files |
| Sat, 16 Mar 2024 11:00:18 +0100 | Fabian Huch | tuned whitespace; | changeset | files |
| Sat, 16 Mar 2024 10:56:29 +0100 | Fabian Huch | tie-breaking in schedule optimization to pick best schedule even when run-time is dominated by large task (e.g., session with long timeout but no data yet); | changeset | files |
| Sat, 16 Mar 2024 10:03:10 +0100 | Fabian Huch | tuned; | changeset | files |