G2.5-B: fail-closed shadow report/direct-read verification - #227

G2.5-B: fail-closed shadow report/direct-read verification#227

masarray wants to merge 4 commits into

g2.5-a-spontaneous-dchg-proofmasarray/arsas:g2.5-a-spontaneous-dchg-prooffrom

g2.5-b-shadow-verificationmasarray/arsas:g2.5-b-shadow-verificationCopy head branch name to clipboard