Merge branch 'master' into gset_to_gmap_theory
No related branches found
No related tags found
Showing
- .gitignore 2 additions, 0 deletions.gitignore
- .gitlab-ci.yml 8 additions, 0 deletions.gitlab-ci.yml
- CHANGELOG.md 20 additions, 0 deletionsCHANGELOG.md
- Makefile 6 additions, 0 deletionsMakefile
- Makefile.coq.local 1 addition, 1 deletionMakefile.coq.local
- _CoqProject 2 additions, 0 deletions_CoqProject
- coq-iris.opam 1 addition, 1 deletioncoq-iris.opam
- docs/dune.md 47 additions, 0 deletionsdocs/dune.md
- dune 10 additions, 0 deletionsdune
- dune-project 2 additions, 0 deletionsdune-project
- iris/bi/big_op.v 28 additions, 1 deletioniris/bi/big_op.v
- iris/dune 5 additions, 0 deletionsiris/dune
- iris/proofmode/coq_tactics.v 10 additions, 5 deletionsiris/proofmode/coq_tactics.v
- iris/proofmode/ltac_tactics.v 5 additions, 6 deletionsiris/proofmode/ltac_tactics.v
- iris/proofmode/spec_patterns.v 0 additions, 2 deletionsiris/proofmode/spec_patterns.v
- iris_deprecated/dune 5 additions, 0 deletionsiris_deprecated/dune
- iris_heap_lang/dune 5 additions, 0 deletionsiris_heap_lang/dune
- iris_heap_lang/proofmode.v 15 additions, 10 deletionsiris_heap_lang/proofmode.v
- iris_unstable/dune 5 additions, 0 deletionsiris_unstable/dune
- tests/bi.v 14 additions, 0 deletionstests/bi.v
Loading
Please register or sign in to comment