program_logic · 2c6727dc397eecd014cf701bdf7af485862d1d77 · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

7242 commits behind the upstream repository.

Use Φ and Ψ for (value-) indexed uPreds/iProps.

Robbert Krebbers authored 9 years ago

This avoids ambiguity with P and Q that we were using before for both
uPreds/iProps and indexed uPreds/iProps.

2c6727dc

2c6727dc 9 years ago

Name	Last commit	Last update
..
adequacy.v
auth.v
ghost_ownership.v
hoare.v
hoare_lifting.v
invariants.v
language.v
lifting.v
model.v
namespaces.v
ownership.v
pviewshifts.v
resources.v
saved_prop.v
sts.v
tests.v
viewshifts.v
weakestpre.v
wsat.v