[CI] Add dependencies just for local compilation
Showing
- .gitlab-ci.yml 3 additions, 2 deletions.gitlab-ci.yml
- colibri2.opam 1 addition, 0 deletionscolibri2.opam
- dune-project 1 addition, 0 deletionsdune-project
- src_colibri2/core/demon.mli 1 addition, 1 deletionsrc_colibri2/core/demon.mli
- src_colibri2/theories/quantifier/PC.ml 1 addition, 2 deletionssrc_colibri2/theories/quantifier/PC.ml
- src_colibri2/theories/quantifier/PP.ml 1 addition, 1 deletionsrc_colibri2/theories/quantifier/PP.ml
Loading
Please register or sign in to comment