Use union of interval
Fix some imprecision
parent
b7190130
No related branches found
No related tags found
Showing
- src_colibri2/bin/dune 21 additions, 2 deletionssrc_colibri2/bin/dune
- src_colibri2/theories/LRA/dom_interval.ml 15 additions, 3 deletionssrc_colibri2/theories/LRA/dom_interval.ml
- src_colibri2/theories/LRA/realValue.ml 15 additions, 8 deletionssrc_colibri2/theories/LRA/realValue.ml
- src_colibri2/theories/LRA/simplex.ml 4 additions, 4 deletionssrc_colibri2/theories/LRA/simplex.ml
- src_colibri2/theories/LRA/stages/compare_stage/compare_stage.ml 189 additions, 0 deletions...libri2/theories/LRA/stages/compare_stage/compare_stage.ml
- src_colibri2/theories/LRA/stages/compare_stage/dune 11 additions, 0 deletionssrc_colibri2/theories/LRA/stages/compare_stage/dune
- src_colibri2/theories/LRA/stages/stage2/impl/dune 4 additions, 1 deletionsrc_colibri2/theories/LRA/stages/stage2/impl/dune
- src_colibri2/theories/LRA/stages/stage2/impl/interval_domain.ml 4 additions, 1 deletion...libri2/theories/LRA/stages/stage2/impl/interval_domain.ml
- src_colibri2/theories/LRA/stages/stage2/interval.ml 34 additions, 31 deletionssrc_colibri2/theories/LRA/stages/stage2/interval.ml
- src_common/interval.mlw 1 addition, 1 deletionsrc_common/interval.mlw
- src_common/interval__Convexe.ml 1 addition, 1 deletionsrc_common/interval__Convexe.ml
- src_common/union.mlw 199 additions, 0 deletionssrc_common/union.mlw
- src_common/union/why3session.xml 596 additions, 279 deletionssrc_common/union/why3session.xml
- src_common/union__Union.ml 164 additions, 0 deletionssrc_common/union__Union.ml
Loading
Please register or sign in to comment