Merge branch 'ralf/gmap-view-auth-frac' into 'master'
gmap_view_auth: add fraction Closes #356 See merge request iris/iris!548
No related branches found
No related tags found
Showing
- theories/algebra/lib/gmap_view.v 56 additions, 26 deletionstheories/algebra/lib/gmap_view.v
- theories/base_logic/algebra.v 2 additions, 1 deletiontheories/base_logic/algebra.v
- theories/base_logic/lib/gen_heap.v 4 additions, 4 deletionstheories/base_logic/lib/gen_heap.v
- theories/base_logic/lib/proph_map.v 2 additions, 2 deletionstheories/base_logic/lib/proph_map.v
- theories/base_logic/lib/wsat.v 3 additions, 3 deletionstheories/base_logic/lib/wsat.v
Loading
Please register or sign in to comment