| 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 |
| Sat, 16 Mar 2024 10:02:16 +0100 | Fabian Huch | remove old build before generating schedule; | changeset | files |