Merge branch 'bobot/abs' into 'master'
Release helpers See merge request !24
No related branches found
No related tags found
Checking pipeline status
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- .gitlab-ci.yml 0 additions, 6 deletions.gitlab-ci.yml
- CHANGES 38 additions, 0 deletionsCHANGES
- LICENSE 504 additions, 0 deletionsLICENSE
- Makefile 23 additions, 1 deletionMakefile
- colibri2.opam 21 additions, 18 deletionscolibri2.opam
- colibrics.opam 16 additions, 13 deletionscolibrics.opam
- colibrilib.opam 30 additions, 0 deletionscolibrilib.opam
- dune-project 47 additions, 28 deletionsdune-project
- src/bin/main.ml 6 additions, 5 deletionssrc/bin/main.ml
- src/bin/options.ml 0 additions, 2 deletionssrc/bin/options.ml
- src/lib/constraints/dune 10 additions, 4 deletionssrc/lib/constraints/dune
- src/lib/dune 93 additions, 20 deletionssrc/lib/dune
- src_colibri2/bin/dune 12 additions, 10 deletionssrc_colibri2/bin/dune
- src_colibri2/bin/main.ml 6 additions, 5 deletionssrc_colibri2/bin/main.ml
- src_colibri2/bin/options.ml 6 additions, 11 deletionssrc_colibri2/bin/options.ml
- src_colibri2/core/choice_group.mli 0 additions, 2 deletionssrc_colibri2/core/choice_group.mli
- src_colibri2/core/colibri2_core.ml 0 additions, 9 deletionssrc_colibri2/core/colibri2_core.ml
- src_colibri2/core/colibri2_core.mli 0 additions, 65 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/dune 29 additions, 7 deletionssrc_colibri2/core/dune
Loading
Please register or sign in to comment