Skip to content
GitLab
Explore
Sign in
Iris
Iron
Repository
iron
theories
heap_lang
lib
spin_lock_track.v
Find file
Blame
History
Permalink
Bump Iris (`iPoseProof` changes).
· dccfaef2
Robbert Krebbers
authored
Nov 21, 2019
Also, some refactoring, e.g. remove useless parameter of `heap_ctx`.
dccfaef2