Add limit on last effort
- Fix Interp when node has already a value - Finish intersection of union of interval
Showing
- src_colibri2/bin/dune 1 addition, 0 deletionssrc_colibri2/bin/dune
- src_colibri2/bin/options.ml 80 additions, 6 deletionssrc_colibri2/bin/options.ml
- src_colibri2/core/colibri2_core.mli 2 additions, 0 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/interp.ml 27 additions, 23 deletionssrc_colibri2/core/interp.ml
- src_colibri2/core/interp.mli 2 additions, 0 deletionssrc_colibri2/core/interp.mli
- src_colibri2/popop_lib/debug.ml 1 addition, 1 deletionsrc_colibri2/popop_lib/debug.ml
- src_colibri2/solver/input.ml 7 additions, 5 deletionssrc_colibri2/solver/input.ml
- src_colibri2/solver/scheduler.ml 40 additions, 28 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/solver/scheduler.mli 13 additions, 4 deletionssrc_colibri2/solver/scheduler.mli
- src_colibri2/tests/tests_LRA.ml 2 additions, 2 deletionssrc_colibri2/tests/tests_LRA.ml
- src_colibri2/tests/tests_fp.ml 1 addition, 1 deletionsrc_colibri2/tests/tests_fp.ml
- src_colibri2/tests/tests_lib.ml 1 addition, 1 deletionsrc_colibri2/tests/tests_lib.ml
- src_colibri2/theories/ADT/adt_value.ml 2 additions, 2 deletionssrc_colibri2/theories/ADT/adt_value.ml
- src_colibri2/theories/LRA/dom_interval.ml 16 additions, 1 deletionsrc_colibri2/theories/LRA/dom_interval.ml
- src_colibri2/theories/LRA/realValue.ml 11 additions, 6 deletionssrc_colibri2/theories/LRA/realValue.ml
- src_colibri2/theories/LRA/realValue.mli 4 additions, 0 deletionssrc_colibri2/theories/LRA/realValue.mli
- src_common/union.mlw 11 additions, 6 deletionssrc_common/union.mlw
- src_common/union/why3session.xml 831 additions, 1184 deletionssrc_common/union/why3session.xml
Loading
Please register or sign in to comment