Commits on Source (1591)
Showing
- .gitattributes 2 additions, 0 deletions.gitattributes
- .gitignore 8 additions, 1 deletion.gitignore
- .gitlab-ci.yml 55 additions, 18 deletions.gitlab-ci.yml
- .gitmodules 0 additions, 3 deletions.gitmodules
- CHANGELOG.md 977 additions, 16 deletionsCHANGELOG.md
- LICENSE 2 additions, 2 deletionsLICENSE
- Makefile 49 additions, 26 deletionsMakefile
- Makefile.coq.local 40 additions, 14 deletionsMakefile.coq.local
- README.md 30 additions, 13 deletionsREADME.md
- _CoqProject 0 additions, 50 deletions_CoqProject
- config/flags 18 additions, 0 deletionsconfig/flags
- config/paths 7 additions, 0 deletionsconfig/paths
- config/source-list 62 additions, 0 deletionsconfig/source-list
- 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 10 additions, 7 deletionscoq-stdpp.opam
- docs/dune.md 34 additions, 0 deletionsdocs/dune.md
- dune 20 additions, 0 deletionsdune
- dune-project 2 additions, 0 deletionsdune-project
.gitmodules
deleted
100644 → 0
_CoqProject
deleted
100644 → 0
config/flags
0 → 100644
config/paths
0 → 100644
config/source-list
0 → 100644
coq-lint.sh
0 → 100755
coq-stdpp-bitvector.opam
0 → 100644
coq-stdpp-unstable.opam
0 → 100644
docs/dune.md
0 → 100644
dune
0 → 100644
dune-project
0 → 100644