Merge branch 'robbert/equiv_entails' into 'master'
Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++. See merge request iris/iris!628
No related branches found
No related tags found
Showing
- CHANGELOG.md 6 additions, 0 deletionsCHANGELOG.md
- iris/base_logic/bi.v 1 addition, 1 deletioniris/base_logic/bi.v
- iris/base_logic/upred.v 1 addition, 1 deletioniris/base_logic/upred.v
- iris/bi/big_op.v 2 additions, 2 deletionsiris/bi/big_op.v
- iris/bi/derived_laws.v 14 additions, 11 deletionsiris/bi/derived_laws.v
- iris/bi/embedding.v 7 additions, 7 deletionsiris/bi/embedding.v
- iris/bi/interface.v 3 additions, 3 deletionsiris/bi/interface.v
- iris/bi/lib/counterexamples.v 2 additions, 2 deletionsiris/bi/lib/counterexamples.v
- iris/bi/monpred.v 12 additions, 12 deletionsiris/bi/monpred.v
- iris/proofmode/environments.v 1 addition, 1 deletioniris/proofmode/environments.v
- iris/proofmode/modalities.v 1 addition, 1 deletioniris/proofmode/modalities.v
- iris/proofmode/modality_instances.v 6 additions, 6 deletionsiris/proofmode/modality_instances.v
- iris/proofmode/monpred.v 1 addition, 1 deletioniris/proofmode/monpred.v
- iris/si_logic/bi.v 1 addition, 1 deletioniris/si_logic/bi.v
- iris/si_logic/siprop.v 1 addition, 1 deletioniris/si_logic/siprop.v
Loading
Please register or sign in to comment