program_logic · ab9f921dc34352aeb2fa92d41014f0e3d08809a1 · William Mansky / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

7080 commits behind the upstream repository.

improve f_equiv and solve_proper; use them in a few more places

Ralf Jung authored 9 years ago

ab9f921d

ab9f921d 9 years ago

Name	Last commit	Last update
..
adequacy.v
auth.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_prop.v
sts.v
tests.v
viewshifts.v
weakestpre.v
wsat.v