Merge branch 'revert-36982d7e' into 'master'
Revert "Merge branch 'ralf/separable' into 'master'" See merge request iris/iris!924
No related branches found
No related tags found
Showing
- CHANGELOG.md 0 additions, 39 deletionsCHANGELOG.md
- docs/classes.md 0 additions, 99 deletionsdocs/classes.md
- iris/base_logic/lib/own.v 3 additions, 3 deletionsiris/base_logic/lib/own.v
- iris/base_logic/proofmode.v 1 addition, 1 deletioniris/base_logic/proofmode.v
- iris/bi/big_op.v 18 additions, 18 deletionsiris/bi/big_op.v
- iris/bi/derived_connectives.v 0 additions, 20 deletionsiris/bi/derived_connectives.v
- iris/bi/derived_laws.v 195 additions, 217 deletionsiris/bi/derived_laws.v
- iris/bi/derived_laws_later.v 2 additions, 2 deletionsiris/bi/derived_laws_later.v
- iris/bi/internal_eq.v 0 additions, 11 deletionsiris/bi/internal_eq.v
- iris/bi/lib/fractional.v 1 addition, 1 deletioniris/bi/lib/fractional.v
- iris/bi/plainly.v 65 additions, 39 deletionsiris/bi/plainly.v
- iris/bi/updates.v 1 addition, 1 deletioniris/bi/updates.v
- iris/proofmode/class_instances.v 21 additions, 21 deletionsiris/proofmode/class_instances.v
- iris/proofmode/class_instances_frame.v 1 addition, 1 deletioniris/proofmode/class_instances_frame.v
- iris/proofmode/class_instances_later.v 1 addition, 1 deletioniris/proofmode/class_instances_later.v
- iris/proofmode/class_instances_plainly.v 1 addition, 2 deletionsiris/proofmode/class_instances_plainly.v
- iris/proofmode/coq_tactics.v 9 additions, 9 deletionsiris/proofmode/coq_tactics.v
- iris/proofmode/environments.v 7 additions, 7 deletionsiris/proofmode/environments.v
- tests/bi.ref 0 additions, 69 deletionstests/bi.ref
- tests/bi.v 0 additions, 9 deletionstests/bi.v
Loading
Please register or sign in to comment