log

age author description
Wed, 22 Feb 2023 18:58:02 +0100 Pierre-Yves David transaction: no longer explicitly cache phaseroots
Thu, 23 Feb 2023 04:28:24 +0100 Pierre-Yves David narrow: enforce that narrow spec is written within a transaction