Merge branch 'robbert/removeT' into 'master'
Rename `ofeT`→`ofe`, `cmraT`→`cmra`, and `ucmraT`→`ucmra`. See merge request iris/iris!623
Showing
- CHANGELOG.md 10 additions, 0 deletionsCHANGELOG.md
- docs/proof_guide.md 5 additions, 5 deletionsdocs/proof_guide.md
- docs/resource_algebras.md 8 additions, 8 deletionsdocs/resource_algebras.md
- iris/algebra/agree.v 4 additions, 4 deletionsiris/algebra/agree.v
- iris/algebra/auth.v 15 additions, 15 deletionsiris/algebra/auth.v
- iris/algebra/cmra.v 66 additions, 66 deletionsiris/algebra/cmra.v
- iris/algebra/cmra_big_op.v 4 additions, 4 deletionsiris/algebra/cmra_big_op.v
- iris/algebra/coPset.v 2 additions, 2 deletionsiris/algebra/coPset.v
- iris/algebra/cofe_solver.v 4 additions, 4 deletionsiris/algebra/cofe_solver.v
- iris/algebra/csum.v 7 additions, 7 deletionsiris/algebra/csum.v
- iris/algebra/dra.v 2 additions, 2 deletionsiris/algebra/dra.v
- iris/algebra/excl.v 6 additions, 6 deletionsiris/algebra/excl.v
- iris/algebra/functions.v 4 additions, 4 deletionsiris/algebra/functions.v
- iris/algebra/gmap.v 15 additions, 15 deletionsiris/algebra/gmap.v
- iris/algebra/gmultiset.v 1 addition, 1 deletioniris/algebra/gmultiset.v
- iris/algebra/gset.v 2 additions, 2 deletionsiris/algebra/gset.v
- iris/algebra/lib/excl_auth.v 5 additions, 5 deletionsiris/algebra/lib/excl_auth.v
- iris/algebra/lib/frac_agree.v 3 additions, 3 deletionsiris/algebra/lib/frac_agree.v
- iris/algebra/lib/frac_auth.v 5 additions, 5 deletionsiris/algebra/lib/frac_auth.v
- iris/algebra/lib/gmap_view.v 7 additions, 7 deletionsiris/algebra/lib/gmap_view.v
Loading
Please register or sign in to comment