program_logic · 9bc0a38ba3f0cbf159348ba85f916fed64671a8b · Ike Mulder / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

5873 commits behind the upstream repository.

Rename model -> iprop, ghost_ownership -> own.

Robbert Krebbers authored 8 years ago

9bc0a38b

9bc0a38b 8 years ago

Name	Last commit	Last update
..
adequacy.v
auth.v
boxes.v
cancelable_invariants.v
counter_examples.v
ectx_language.v
ectx_lifting.v
ectxi_language.v
fancy_updates.v
hoare.v
invariants.v
iprop.v
iris.v
language.v
lifting.v
namespaces.v
own.v
saved_prop.v
sts.v
thread_local.v
viewshifts.v
weakestpre.v
wsat.v