program_logic/iris.v · 5ee1088380f31a025039e508abd411c725949e97 · Tej Chajed / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
5ee10883
A nicer version of adequacy of Iris and specialize it to heap_lang. · 5ee10883
Robbert Krebbers authored 8 years ago
```
Use it to prove that tests/barrier_client and tests/heap_lang are adequate.
```
5ee10883

History
A nicer version of adequacy of Iris and specialize it to heap_lang.
Robbert Krebbers authored 8 years ago
```
Use it to prove that tests/barrier_client and tests/heap_lang are adequate.
```