Hello,
On Mon, Nov 15, 2021 at 08:31:22PM +0100, Michal Koutný wrote:
Now to the constraints and partition setups. I think it's useful to have a model with which the implementation can be compared with. I tried to condense some "simple rules" from the descriptions you posted in v8 plus your response to my remarks in v7 [2]. These should only be the "validity conditions", not "transition conditions".
FWIW, my opinion is pretty much in line with Michal's in this regard. Other than that, everything looks pretty good to me.
Thanks.