Skip to content

Changed ghost location from location to prophecy variable

Ghost User requested to merge (removed):master into master

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

Merge request reports