theories/base_logic/lib · 7228c46110b98dae6ef093fd0b95880ab7154e55 · Pierre Roux / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2430 commits behind the upstream repository.

prove the view shift invariant accessor

Ralf Jung authored 4 years ago

e2639ac1

e2639ac1 4 years ago

Name	Last commit	Last update
..
auth.v
boxes.v
cancelable_invariants.v
fancy_updates.v
fancy_updates_from_vs.v
gen_heap.v
gen_inv_heap.v
invariants.v
iprop.v
na_invariants.v
own.v
proph_map.v
saved_prop.v
sts.v
viewshifts.v
wsat.v