On December 17, 2019 1:40:47 PM GMT+01:00, Martin Jambor
wrote:
>Hi,
>
>because the follow-up patches perform some non-trivial operations on
>SRA patches, I wrote myself a verifier. And sure enough, it has
>spotted two issues, one of which is fixed in this patch too - we did
>not correctly set t
Hi,
because the follow-up patches perform some non-trivial operations on
SRA patches, I wrote myself a verifier. And sure enough, it has
spotted two issues, one of which is fixed in this patch too - we did
not correctly set the parent link when creating artificial accesses
for propagation across
