Merge branch 'ralf/op_instance_names' into 'master'
Rename monoid-related operational typeclass instances to include the suffix '_instance' See merge request iris/iris!629
No related branches found
No related tags found
Showing
- CHANGELOG.md 3 additions, 0 deletionsCHANGELOG.md
- iris/algebra/agree.v 6 additions, 6 deletionsiris/algebra/agree.v
- iris/algebra/cmra.v 32 additions, 32 deletionsiris/algebra/cmra.v
- iris/algebra/coPset.v 8 additions, 8 deletionsiris/algebra/coPset.v
- iris/algebra/csum.v 4 additions, 4 deletionsiris/algebra/csum.v
- iris/algebra/dfrac.v 9 additions, 9 deletionsiris/algebra/dfrac.v
- iris/algebra/dra.v 3 additions, 3 deletionsiris/algebra/dra.v
- iris/algebra/excl.v 4 additions, 4 deletionsiris/algebra/excl.v
- iris/algebra/frac.v 3 additions, 3 deletionsiris/algebra/frac.v
- iris/algebra/gmap.v 5 additions, 5 deletionsiris/algebra/gmap.v
- iris/algebra/gmultiset.v 5 additions, 5 deletionsiris/algebra/gmultiset.v
- iris/algebra/gset.v 8 additions, 8 deletionsiris/algebra/gset.v
- iris/algebra/list.v 7 additions, 7 deletionsiris/algebra/list.v
- iris/algebra/namespace_map.v 9 additions, 9 deletionsiris/algebra/namespace_map.v
- iris/algebra/numbers.v 20 additions, 20 deletionsiris/algebra/numbers.v
- iris/algebra/sts.v 3 additions, 3 deletionsiris/algebra/sts.v
- iris/algebra/ufrac.v 3 additions, 3 deletionsiris/algebra/ufrac.v
- iris/algebra/view.v 6 additions, 6 deletionsiris/algebra/view.v
Loading
Please register or sign in to comment