CHANGELOG.md

iris/base_logic/lib/gen_heap.v

iris/base_logic/lib/gen_inv_heap.v

iris/base_logic/lib/proph_map.v

iris_heap_lang/derived_laws.v

iris_heap_lang/lib/atomic_heap.v

iris_heap_lang/lib/increment.v

iris_heap_lang/primitive_laws.v

iris_heap_lang/proofmode.v

tests/heap_lang.v

tests/proofmode_iris.ref

tests/proofmode_iris.v