Merge remote-tracking branch 'MPI-SWS/master'
Showing
- .gitlab-ci.yml 3 additions, 2 deletions.gitlab-ci.yml
- CHANGELOG.md 20 additions, 0 deletionsCHANGELOG.md
- ProofMode.md 187 additions, 211 deletionsProofMode.md
- README.md 2 additions, 2 deletionsREADME.md
- _CoqProject 9 additions, 5 deletions_CoqProject
- algebra/agree.v 17 additions, 15 deletionsalgebra/agree.v
- algebra/auth.v 11 additions, 7 deletionsalgebra/auth.v
- algebra/cmra.v 33 additions, 33 deletionsalgebra/cmra.v
- algebra/coPset.v 56 additions, 0 deletionsalgebra/coPset.v
- algebra/cofe.v 54 additions, 20 deletionsalgebra/cofe.v
- algebra/csum.v 5 additions, 5 deletionsalgebra/csum.v
- algebra/dra.v 4 additions, 4 deletionsalgebra/dra.v
- algebra/gmap.v 12 additions, 15 deletionsalgebra/gmap.v
- algebra/gset.v 86 additions, 43 deletionsalgebra/gset.v
- algebra/iprod.v 2 additions, 2 deletionsalgebra/iprod.v
- algebra/list.v 4 additions, 4 deletionsalgebra/list.v
- algebra/local_updates.v 100 additions, 0 deletionsalgebra/local_updates.v
- algebra/sts.v 13 additions, 8 deletionsalgebra/sts.v
- algebra/updates.v 2 additions, 84 deletionsalgebra/updates.v
- algebra/upred.v 13 additions, 6 deletionsalgebra/upred.v
Loading
Please register or sign in to comment