Merge branch 'ralf/gmap_auth' into 'master'
add a general gmap_view library and use it for wsat, gen_heap, proph_map Closes #328 See merge request iris/iris!486
No related branches found
No related tags found
Showing
- CHANGELOG.md 5 additions, 0 deletionsCHANGELOG.md
- _CoqProject 1 addition, 0 deletions_CoqProject
- theories/algebra/cmra.v 6 additions, 0 deletionstheories/algebra/cmra.v
- theories/algebra/gmap.v 27 additions, 0 deletionstheories/algebra/gmap.v
- theories/algebra/lib/gmap_view.v 407 additions, 0 deletionstheories/algebra/lib/gmap_view.v
- theories/base_logic/lib/gen_heap.v 33 additions, 90 deletionstheories/base_logic/lib/gen_heap.v
- theories/base_logic/lib/own.v 1 addition, 1 deletiontheories/base_logic/lib/own.v
- theories/base_logic/lib/proph_map.v 18 additions, 60 deletionstheories/base_logic/lib/proph_map.v
- theories/base_logic/lib/wsat.v 21 additions, 30 deletionstheories/base_logic/lib/wsat.v
Loading
Please register or sign in to comment