Skip to content

Fix iIntros on forall

Tej Chajedrequested to merge
tchajed/iris:fix-intro-forall into master

Fixes #307 (closed) and adds support for iIntros "%x" with a named variable (as expected given the behavior of iIntros "%").

Merge request reports