Merge branch 'ci/ralf/multi-package' into 'master'
multi-package repositories See merge request iris/iris!514
Showing
- .gitignore 6 additions, 3 deletions.gitignore
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- CHANGELOG.md 3 additions, 0 deletionsCHANGELOG.md
- CONTRIBUTING.md 31 additions, 0 deletionsCONTRIBUTING.md
- Makefile.coq.local 1 addition, 1 deletionMakefile.coq.local
- README.md 14 additions, 24 deletionsREADME.md
- _CoqProject 159 additions, 149 deletions_CoqProject
- coq-iris-heap-lang.opam 19 additions, 0 deletionscoq-iris-heap-lang.opam
- coq-iris.opam 6 additions, 2 deletionscoq-iris.opam
- iris/algebra/agree.v 1 addition, 1 deletioniris/algebra/agree.v
- iris/algebra/auth.v 1 addition, 1 deletioniris/algebra/auth.v
- iris/algebra/base.v 1 addition, 1 deletioniris/algebra/base.v
- iris/algebra/big_op.v 1 addition, 1 deletioniris/algebra/big_op.v
- iris/algebra/cmra.v 1 addition, 1 deletioniris/algebra/cmra.v
- iris/algebra/cmra_big_op.v 1 addition, 1 deletioniris/algebra/cmra_big_op.v
- iris/algebra/coPset.v 1 addition, 1 deletioniris/algebra/coPset.v
- iris/algebra/cofe_solver.v 1 addition, 1 deletioniris/algebra/cofe_solver.v
- iris/algebra/csum.v 1 addition, 1 deletioniris/algebra/csum.v
- iris/algebra/dfrac.v 1 addition, 1 deletioniris/algebra/dfrac.v
- iris/algebra/dra.v 1 addition, 1 deletioniris/algebra/dra.v
Loading
Please register or sign in to comment