Skip to content
GitLab
Explore
Sign in
Iris
ReLoC
Issues
#3
Rules for complex `Resolve` operations.
E.g. if you have a prophecy resolution attached to a CAS.
See:
iris!244 (merged)
https://gitlab.mpi-sws.org/iris/iris/blob/31bf88ff46fd89815e49dd22dbc5fea4a77fb62e/theories/heap_lang/lifting.v#L459
(wp_resolve)