Forked from
Iris / Iris
7322 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
algebra | ||
barrier | ||
docs | ||
heap_lang | ||
prelude | ||
program_logic | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
README | ||
_CoqProject |
We only use wp_value in the end if the resulting goal is yet another wp. Otherwise we may not be able to do a final view shift (as observed by Ralf).
Name | Last commit | Last update |
---|---|---|
algebra | ||
barrier | ||
docs | ||
heap_lang | ||
prelude | ||
program_logic | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
README | ||
_CoqProject |