theories/program_logic/adequacy.v · 018cf38c29375566a26c99b9137ed3f67e452745 · Rice Wine / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
theories
program_logic
adequacy.v

Blame Permalink

Nov 09, 2017
018cf38c
Revert "Revert "Merge branch 'swasey/progress' into 'master'"" · 018cf38c
David Swasey authored Nov 09, 2017
```
This reverts commit 913059d2.
```
018cf38c
Revert "Revert "Merge branch 'swasey/progress' into 'master'""
David Swasey authored Nov 09, 2017
```
This reverts commit 913059d2.
```

Loading