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

Snippets Groups Projects

The source project of this merge request has been removed.

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

All threads resolved!

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

Activity

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved
Last reply by Ralf Jung 5 years ago

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ghost User @ghost started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved

Ghost User added 1 commit 5 years ago

added 1 commit

8088d25f - minor changes as discussed in MR 24

Compare with previous version

Ghost User added 1 commit 5 years ago

added 1 commit

606e1571 - fixed new_rdcss code description

Compare with previous version

Ghost User added 1 commit 5 years ago

added 1 commit

dc0db6aa - simplified new_rdcss

Compare with previous version

Ghost User added 1 commit 5 years ago

added 1 commit

353e2900 - minor change

Compare with previous version

Ghost User @ghost started a thread on the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Ralf Jung resolved all discussions 5 years ago

resolved all discussions

Ralf Jung mentioned in commit 5 years ago

mentioned in commit cda53d79

Ralf Jung merged 5 years ago

merged

Please register or sign in to reply