Wed, 21 Feb 2024 11:04:56 +0100 | Pierre-Yves David | phases: type annotation for `_phasesets` | changeset | files |
Tue, 20 Feb 2024 23:46:21 +0100 | Pierre-Yves David | phases: leverage the collected information to record phase update | changeset | files |
Wed, 21 Feb 2024 10:41:09 +0100 | Pierre-Yves David | phases: large rewrite on retract boundary | changeset | files |
Thu, 22 Feb 2024 15:49:21 +0100 | Pierre-Yves David | phases: fast path public phase advance when everything is public | changeset | files |
Wed, 21 Feb 2024 15:24:22 +0100 | Pierre-Yves David | phases: fast path retract of public phase | changeset | files |
Tue, 20 Feb 2024 21:40:13 +0100 | Pierre-Yves David | phases: keep internal state as rev-num instead of node-id | changeset | files |
Tue, 20 Feb 2024 21:40:08 +0100 | Pierre-Yves David | phases: do filtering at read time | changeset | files |