-
Ralf Jung authored
heap_lang lifting: instantiate inv_heapG and inv_heap_inv See merge request iris/iris!429
3d135daa
To find the state of this project's repository at the time of any of these versions, check out the tags.
heap_lang lifting: instantiate inv_heapG and inv_heap_inv See merge request iris/iris!429