Skip to content
GitLab
Explore
Sign in
Iris
Iron
Repository
iron
theories
heap_lang
lib
resource_transfer_fork.v
Find file
Blame
History
Permalink
Make invariant rules more consistent with Iris.
· cd113065
Robbert Krebbers
authored
Feb 06, 2020
See discussion at
iris!368 (diffs, comment 43824)
cd113065