Skip to content
Snippets Groups Projects

Changed ghost location from location to prophecy variable

Merged Changed ghost location from location to prophecy variable
(removed):master into master
Merged 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