Merge branch 'robbert/loc_module' into 'master'
Move definitions and lemmas about heap_lang locations to module `Loc` See merge request iris/iris!890
No related branches found
No related tags found
Showing
- CHANGELOG.md 7 additions, 0 deletionsCHANGELOG.md
- iris_heap_lang/derived_laws.v 5 additions, 5 deletionsiris_heap_lang/derived_laws.v
- iris_heap_lang/lang.v 7 additions, 7 deletionsiris_heap_lang/lang.v
- iris_heap_lang/lib/array.v 8 additions, 8 deletionsiris_heap_lang/lib/array.v
- iris_heap_lang/locations.v 40 additions, 29 deletionsiris_heap_lang/locations.v
- iris_heap_lang/primitive_laws.v 7 additions, 7 deletionsiris_heap_lang/primitive_laws.v
Loading
Please register or sign in to comment