Skip to content

Add comments to explain the modified structure of the adequacy proof

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.

Merge request reports