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 haveFWIW, my opinion is pretty much in line with Michal's in this regard. Other
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".
than that, everything looks pretty good to me.