| Wed, 22 Nov 2023 15:46:58 +0100 | Fabian Huch | properly incorporate running tasks into timing heuristic; | changeset | files |
| Wed, 22 Nov 2023 15:39:39 +0100 | Fabian Huch | clarified ready vs. next ready; | changeset | files |
| Wed, 22 Nov 2023 15:04:29 +0100 | Fabian Huch | introduced path heuristic abstraction; | changeset | files |
| Wed, 22 Nov 2023 17:50:36 +0000 | haftmann | base abstract specification of NOT on recursive equation rather than bit projection | changeset | files |
| Tue, 21 Nov 2023 19:19:16 +0000 | haftmann | modernized, reordered, generalized | changeset | files |
| Tue, 21 Nov 2023 19:19:16 +0000 | haftmann | more correct type annotation | changeset | files |
| Tue, 21 Nov 2023 23:35:22 +0100 | wenzelm | proper build with jdk-21 (amending 4fb5e6499da9); | changeset | files |
| Mon, 20 Nov 2023 22:17:42 +0100 | wenzelm | NEWS; | changeset | files |