Merge branch 'ralf/coq-drop' into 'master'
Drop support Coq 8.18. See merge request iris/iris!1079
Branches test-bigop-synchanges
No related tags found
Showing
- .gitlab-ci.yml 2 additions, 9 deletions.gitlab-ci.yml
- CHANGELOG.md 2 additions, 0 deletionsCHANGELOG.md
- README.md 1 addition, 1 deletionREADME.md
- _CoqProject 0 additions, 2 deletions_CoqProject
- coq-iris.opam 1 addition, 1 deletioncoq-iris.opam
- iris/algebra/ofe.v 1 addition, 1 deletioniris/algebra/ofe.v
- iris/bi/derived_connectives.v 20 additions, 20 deletionsiris/bi/derived_connectives.v
- iris/bi/embedding.v 1 addition, 1 deletioniris/bi/embedding.v
- iris/bi/interface.v 4 additions, 4 deletionsiris/bi/interface.v
- iris/bi/lib/counterexamples.v 1 addition, 1 deletioniris/bi/lib/counterexamples.v
- iris/bi/lib/fractional.v 2 additions, 2 deletionsiris/bi/lib/fractional.v
- iris/bi/lib/laterable.v 5 additions, 5 deletionsiris/bi/lib/laterable.v
- iris/bi/monpred.v 5 additions, 5 deletionsiris/bi/monpred.v
- iris/bi/plainly.v 4 additions, 4 deletionsiris/bi/plainly.v
- iris/bi/updates.v 2 additions, 2 deletionsiris/bi/updates.v
- iris/bi/weakestpre.v 2 additions, 2 deletionsiris/bi/weakestpre.v
- iris/proofmode/classes.v 79 additions, 79 deletionsiris/proofmode/classes.v
- iris/proofmode/classes_make.v 23 additions, 23 deletionsiris/proofmode/classes_make.v
- iris/proofmode/coq_tactics.v 5 additions, 5 deletionsiris/proofmode/coq_tactics.v
- iris/proofmode/environments.v 1 addition, 1 deletioniris/proofmode/environments.v
Loading
Please register or sign in to comment