Merge branch 'robbert/bi_later_contractive' into 'master'
Make `BiLaterContractive` a class instead of a notation. See merge request iris/iris!913
No related branches found
No related tags found
Showing
- CHANGELOG.md 1 addition, 0 deletionsCHANGELOG.md
- iris/base_logic/bi.v 1 addition, 1 deletioniris/base_logic/bi.v
- iris/bi/extensions.v 2 additions, 2 deletionsiris/bi/extensions.v
- iris/bi/monpred.v 1 addition, 1 deletioniris/bi/monpred.v
- iris/si_logic/bi.v 1 addition, 1 deletioniris/si_logic/bi.v
Loading
Please register or sign in to comment