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. -- tejun
