Update dolmen to 0.9.0
parent
9b96a70c
This commit is part of merge request !34. Comments created here will be created in the context of that merge request.
Showing
- colibri2.opam 3 additions, 3 deletionscolibri2.opam
- colibri2/bin/options.ml 9 additions, 8 deletionscolibri2/bin/options.ml
- colibri2/core/ground.ml 1 addition, 1 deletioncolibri2/core/ground.ml
- colibri2/solver/input.ml 38 additions, 50 deletionscolibri2/solver/input.ml
- colibri2/solver/input.mli 2 additions, 2 deletionscolibri2/solver/input.mli
- colibri2/theories/ADT/adt_value.ml 1 addition, 1 deletioncolibri2/theories/ADT/adt_value.ml
- colibri2/theories/LRA/realValue.ml 3 additions, 3 deletionscolibri2/theories/LRA/realValue.ml
- colibri2/theories/array/common.ml 4 additions, 4 deletionscolibri2/theories/array/common.ml
- colibri2/theories/nseq/nseq.ml 7 additions, 7 deletionscolibri2/theories/nseq/nseq.ml
- colibri2/theories/quantifier/trigger.ml 16 additions, 0 deletionscolibri2/theories/quantifier/trigger.ml
- colibrics.opam 3 additions, 3 deletionscolibrics.opam
- colibrics/bin/dolmen_to_colibrics.ml 12 additions, 7 deletionscolibrics/bin/dolmen_to_colibrics.ml
- colibrics/bin/dolmen_to_colibrics.mli 6 additions, 2 deletionscolibrics/bin/dolmen_to_colibrics.mli
- colibrics/bin/main.ml 6 additions, 4 deletionscolibrics/bin/main.ml
- colibrics/bin/options.ml 5 additions, 16 deletionscolibrics/bin/options.ml
- dune-project 6 additions, 6 deletionsdune-project
Loading
Please register or sign in to comment