Skip to content
GitLab

Add comments to explain the modified structure of the adequacy proof

Merged Simon Spies requested to merge simonspies/iris:adequacy_comments into master

This MR adds comments to Iris's adequacy proof to explain why we "run adequacy" twice.