[LRA] Use A (Q+A) instead of only Q
Showing
- libpoly/dune 1 addition, 1 deletionlibpoly/dune
- libpoly/libpoly 1 addition, 1 deletionlibpoly/libpoly
- libpoly/ocaml_poly.ml 3 additions, 0 deletionslibpoly/ocaml_poly.ml
- libpoly/ocaml_poly.mli 3 additions, 0 deletionslibpoly/ocaml_poly.mli
- src_colibri2/stdlib/std.ml 41 additions, 6 deletionssrc_colibri2/stdlib/std.ml
- src_colibri2/stdlib/std.mli 27 additions, 1 deletionsrc_colibri2/stdlib/std.mli
- src_colibri2/tests/tests_LRA.ml 24 additions, 26 deletionssrc_colibri2/tests/tests_LRA.ml
- src_colibri2/theories/FP/fp_value.ml 8 additions, 5 deletionssrc_colibri2/theories/FP/fp_value.ml
- src_colibri2/theories/LRA/LRA.mli 5 additions, 17 deletionssrc_colibri2/theories/LRA/LRA.mli
- src_colibri2/theories/LRA/delta.ml 43 additions, 50 deletionssrc_colibri2/theories/LRA/delta.ml
- src_colibri2/theories/LRA/delta.mli 12 additions, 8 deletionssrc_colibri2/theories/LRA/delta.mli
- src_colibri2/theories/LRA/dom_interval.ml 6 additions, 13 deletionssrc_colibri2/theories/LRA/dom_interval.ml
- src_colibri2/theories/LRA/dom_interval.mli 2 additions, 13 deletionssrc_colibri2/theories/LRA/dom_interval.mli
- src_colibri2/theories/LRA/dom_polynome.ml 8 additions, 10 deletionssrc_colibri2/theories/LRA/dom_polynome.ml
- src_colibri2/theories/LRA/dom_product.ml 6 additions, 13 deletionssrc_colibri2/theories/LRA/dom_product.ml
- src_colibri2/theories/LRA/fourier.ml 20 additions, 22 deletionssrc_colibri2/theories/LRA/fourier.ml
- src_colibri2/theories/LRA/polynome.ml 53 additions, 53 deletionssrc_colibri2/theories/LRA/polynome.ml
- src_colibri2/theories/LRA/polynome.mli 19 additions, 38 deletionssrc_colibri2/theories/LRA/polynome.mli
- src_colibri2/theories/LRA/product.ml 0 additions, 1 deletionsrc_colibri2/theories/LRA/product.ml
- src_colibri2/theories/LRA/product.mli 0 additions, 15 deletionssrc_colibri2/theories/LRA/product.mli
Loading
Please register or sign in to comment