Merge branch 'strict-bulleting' into 'master'
Make bulleting strict for algebra and base_logic See merge request iris/iris!563
No related branches found
No related tags found
Showing
- theories/algebra/cmra.v 15 additions, 9 deletionstheories/algebra/cmra.v
- theories/algebra/cmra_big_op.v 1 addition, 1 deletiontheories/algebra/cmra_big_op.v
- theories/algebra/coPset.v 2 additions, 2 deletionstheories/algebra/coPset.v
- theories/algebra/csum.v 2 additions, 2 deletionstheories/algebra/csum.v
- theories/algebra/excl.v 2 additions, 2 deletionstheories/algebra/excl.v
- theories/algebra/functions.v 4 additions, 1 deletiontheories/algebra/functions.v
- theories/algebra/gmap.v 8 additions, 4 deletionstheories/algebra/gmap.v
- theories/algebra/gmultiset.v 4 additions, 1 deletiontheories/algebra/gmultiset.v
- theories/algebra/gset.v 3 additions, 3 deletionstheories/algebra/gset.v
- theories/algebra/lib/frac_auth.v 2 additions, 1 deletiontheories/algebra/lib/frac_auth.v
- theories/algebra/lib/ufrac_auth.v 12 additions, 3 deletionstheories/algebra/lib/ufrac_auth.v
- theories/algebra/local_updates.v 1 addition, 1 deletiontheories/algebra/local_updates.v
- theories/algebra/namespace_map.v 5 additions, 3 deletionstheories/algebra/namespace_map.v
- theories/algebra/ofe.v 13 additions, 5 deletionstheories/algebra/ofe.v
- theories/algebra/sts.v 12 additions, 4 deletionstheories/algebra/sts.v
- theories/algebra/updates.v 3 additions, 1 deletiontheories/algebra/updates.v
- theories/algebra/vector.v 3 additions, 1 deletiontheories/algebra/vector.v
- theories/base_logic/algebra.v 3 additions, 1 deletiontheories/base_logic/algebra.v
- theories/base_logic/derived.v 1 addition, 1 deletiontheories/base_logic/derived.v
- theories/base_logic/upred.v 11 additions, 4 deletionstheories/base_logic/upred.v
Loading
Please register or sign in to comment