program_logic/adequacy.v · 7709aeaf5f99a43603060a45367870816bd34eea · Ike Mulder / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
a3ef214f
Use the big op over lists in the definition of weakestpre. · a3ef214f
Robbert Krebbers authored 8 years ago
```
This also removes the double use of the name 'wp_fork' in both
program_logic/weakestpre and heap_lang/lifting.
```
a3ef214f

History
Use the big op over lists in the definition of weakestpre.
Robbert Krebbers authored 8 years ago
```
This also removes the double use of the name 'wp_fork' in both
program_logic/weakestpre and heap_lang/lifting.
```