Changed ghost location from location to prophecy variable (!24) · Merge requests · Iris / examples

The source project of this merge request has been removed.

Merged Ghost User requested to merge (removed):master into master 5 years ago

This change allows using the prophecy erasure theorem to argue that the ghost location does not change the meaning of the original program.

Activity

Please register or sign in to reply