-
- Downloads
Merge remote-tracking branch 'origin/master' into eq-loc
Showing
- .gitignore 3 additions, 3 deletions.gitignore
- .gitlab-ci.yml 2 additions, 2 deletions.gitlab-ci.yml
- Makefile 24 additions, 14 deletionsMakefile
- Makefile.coq.local 5 additions, 0 deletionsMakefile.coq.local
- README.md 6 additions, 6 deletionsREADME.md
- awk.Makefile 7 additions, 7 deletionsawk.Makefile
- build/opam-ci.sh 36 additions, 12 deletionsbuild/opam-ci.sh
- build/opam-pins.sh 0 additions, 26 deletionsbuild/opam-pins.sh
- opam 2 additions, 4 deletionsopam
- opam.pins 0 additions, 1 deletionopam.pins
- theories/lang/lang.v 8 additions, 1 deletiontheories/lang/lang.v
- theories/lang/lib/arc.v 9 additions, 9 deletionstheories/lang/lib/arc.v
- theories/lang/races.v 8 additions, 8 deletionstheories/lang/races.v
- theories/lifetime/model/creation.v 3 additions, 3 deletionstheories/lifetime/model/creation.v
- theories/lifetime/model/faking.v 1 addition, 1 deletiontheories/lifetime/model/faking.v
- theories/lifetime/model/primitive.v 1 addition, 1 deletiontheories/lifetime/model/primitive.v
- theories/lifetime/model/reborrow.v 1 addition, 1 deletiontheories/lifetime/model/reborrow.v
- theories/typing/lib/rc/rc.v 6 additions, 6 deletionstheories/typing/lib/rc/rc.v
- theories/typing/lib/rc/weak.v 1 addition, 1 deletiontheories/typing/lib/rc/weak.v
- theories/typing/lib/refcell/ref_code.v 2 additions, 2 deletionstheories/typing/lib/refcell/ref_code.v
Loading
Please register or sign in to comment