Commits on Source (2351)
Showing
- .gitattributes 7 additions, 0 deletions.gitattributes
- .gitignore 13 additions, 0 deletions.gitignore
- .gitlab-ci.yml 82 additions, 31 deletions.gitlab-ci.yml
- CHANGELOG.md 1241 additions, 0 deletionsCHANGELOG.md
- LICENSE 11 additions, 12 deletionsLICENSE
- Makefile 51 additions, 36 deletionsMakefile
- Makefile.coq.local 59 additions, 0 deletionsMakefile.coq.local
- README.md 75 additions, 10 deletionsREADME.md
- _CoqProject 69 additions, 39 deletions_CoqProject
- awk.Makefile 0 additions, 35 deletionsawk.Makefile
- build/opam-ci.sh 0 additions, 38 deletionsbuild/opam-ci.sh
- build/opam-pins.sh 0 additions, 26 deletionsbuild/opam-pins.sh
- coq-lint.sh 12 additions, 0 deletionscoq-lint.sh
- coq-stdpp-bitvector.opam 26 additions, 0 deletionscoq-stdpp-bitvector.opam
- coq-stdpp-unstable.opam 25 additions, 0 deletionscoq-stdpp-unstable.opam
- coq-stdpp.opam 40 additions, 0 deletionscoq-stdpp.opam
- docs/dune.md 45 additions, 0 deletionsdocs/dune.md
- dune 8 additions, 0 deletionsdune
- dune-project 2 additions, 0 deletionsdune-project
- make-package 41 additions, 0 deletionsmake-package
.gitattributes
0 → 100644
CHANGELOG.md
0 → 100644
This diff is collapsed.
Makefile.coq.local
0 → 100644
awk.Makefile
deleted
100644 → 0
build/opam-ci.sh
deleted
100755 → 0
build/opam-pins.sh
deleted
100755 → 0
coq-lint.sh
0 → 100755
coq-stdpp-bitvector.opam
0 → 100644
coq-stdpp-unstable.opam
0 → 100644
coq-stdpp.opam
0 → 100644
docs/dune.md
0 → 100644
dune
0 → 100644
dune-project
0 → 100644
make-package
0 → 100755