24 Nov
2023
24 Nov
'23
3:05 p.m.
On Fri Nov 24 12:41:28 2023 +0000, Giovanni Mascellani wrote:
How hard would it be to validate that the incoming register belongs indeed to the stated block, and that that block is indeed a predecessor of the current one?
The incoming block doesn't need to define the register's value; the value just needs to be definitely available there, i.e. the block of origin must dominate the incoming block. The structuriser will have helpers which can validate preds, but I think it's too much for this MR.