docs/program-logic.tex · c83e64a123fc397bbffa8305c36c7a95affbe16f · Pierre Roux / Iris · GitLab

Snippets Groups Projects

"git-rts@gitlab.mpi-sws.org:iris/stdpp.git" did not exist on "b217790fbbd5c99f06f483c408d20cb9a4e8f8bc"

Forked from Iris / Iris

Source project has a limited visibility.

7 years ago
c83e64a1
move the dynamic composeable higher-order ghost state logic up so it does not... · c83e64a1
Ralf Jung authored 7 years ago
```
move the dynamic composeable higher-order ghost state logic up so it does not seem to depend on  a language
```
c83e64a1

History
move the dynamic composeable higher-order ghost state logic up so it does not...
Ralf Jung authored 7 years ago
```
move the dynamic composeable higher-order ghost state logic up so it does not seem to depend on  a language
```