Merge branch 'more-modes' into 'master'
Add some missing modes See merge request iris/iris!696
No related branches found
No related tags found
Showing
- CHANGELOG.md 2 additions, 0 deletionsCHANGELOG.md
- iris/algebra/agree.v 1 addition, 1 deletioniris/algebra/agree.v
- iris/algebra/cmra.v 6 additions, 2 deletionsiris/algebra/cmra.v
- iris/algebra/ofe.v 1 addition, 0 deletionsiris/algebra/ofe.v
- iris_staging/algebra/list.v 1 addition, 1 deletioniris_staging/algebra/list.v
Loading
Please register or sign in to comment