feat: compile protected-effect integrity obligations - #31

feat: compile protected-effect integrity obligations#31

fraware wants to merge 2 commits into

feat/assurance-ir-v1fraware/open-verification-kernel:feat/assurance-ir-v1from

feat/protected-effect-integrityfraware/open-verification-kernel:feat/protected-effect-integrityCopy head branch name to clipboard