program_logic · 6da6e6b1b97d63cc5ed165921ddf398b51c058ef · William Mansky / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

6743 commits behind the upstream repository.

Make levels of viewshifts consistent with implication/wand.

Robbert Krebbers authored 8 years ago

6da6e6b1

6da6e6b1 8 years ago

Name	Last commit	Last update
..
adequacy.v
auth.v
ectx_language.v
ectx_weakestpre.v
ectxi_language.v
ghost_ownership.v
global_functor.v
hoare.v
hoare_lifting.v
invariants.v
language.v
lifting.v
model.v
namespaces.v
ownership.v
pviewshifts.v
resources.v
saved_one_shot.v
saved_prop.v
sts.v
viewshifts.v
weakestpre.v
weakestpre_fix.v
wsat.v