Commits on Source (177)
Showing
- .gitlab-ci.yml 18 additions, 14 deletions.gitlab-ci.yml
- CHANGELOG.md 65 additions, 5 deletionsCHANGELOG.md
- README.md 1 addition, 1 deletionREADME.md
- _CoqProject 6 additions, 1 deletion_CoqProject
- coq-iris.opam 2 additions, 2 deletionscoq-iris.opam
- docs/equalities_and_entailments.md 48 additions, 2 deletionsdocs/equalities_and_entailments.md
- docs/style_guide.md 16 additions, 4 deletionsdocs/style_guide.md
- iris/algebra/agree.v 13 additions, 10 deletionsiris/algebra/agree.v
- iris/algebra/big_op.v 1 addition, 1 deletioniris/algebra/big_op.v
- iris/algebra/cmra.v 84 additions, 3 deletionsiris/algebra/cmra.v
- iris/algebra/csum.v 7 additions, 0 deletionsiris/algebra/csum.v
- iris/algebra/dyn_reservation_map.v 2 additions, 1 deletioniris/algebra/dyn_reservation_map.v
- iris/algebra/excl.v 7 additions, 0 deletionsiris/algebra/excl.v
- iris/algebra/gmap.v 39 additions, 44 deletionsiris/algebra/gmap.v
- iris/algebra/list.v 1 addition, 1 deletioniris/algebra/list.v
- iris/algebra/local_updates.v 27 additions, 11 deletionsiris/algebra/local_updates.v
- iris/algebra/max_prefix_list.v 1 addition, 1 deletioniris/algebra/max_prefix_list.v
- iris/algebra/mra.v 187 additions, 0 deletionsiris/algebra/mra.v
- iris/algebra/ofe.v 5 additions, 1 deletioniris/algebra/ofe.v
- iris/algebra/reservation_map.v 1 addition, 1 deletioniris/algebra/reservation_map.v
iris/algebra/mra.v
0 → 100644