Replace the list of arguments by an immutable array
Showing
- src_colibri2/core/ground.ml 12 additions, 6 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/ground.mli 4 additions, 3 deletionssrc_colibri2/core/ground.mli
- src_colibri2/core/interp.ml 26 additions, 28 deletionssrc_colibri2/core/interp.ml
- src_colibri2/popop_lib/IArray.ml 90 additions, 6 deletionssrc_colibri2/popop_lib/IArray.ml
- src_colibri2/popop_lib/IArray.mli 25 additions, 5 deletionssrc_colibri2/popop_lib/IArray.mli
- src_colibri2/stdlib/wto.ml 6 additions, 6 deletionssrc_colibri2/stdlib/wto.ml
- src_colibri2/stdlib/wto.mli 3 additions, 1 deletionsrc_colibri2/stdlib/wto.mli
- src_colibri2/theories/ADT/adt.ml 7 additions, 8 deletionssrc_colibri2/theories/ADT/adt.ml
- src_colibri2/theories/ADT/adt_value.ml 5 additions, 7 deletionssrc_colibri2/theories/ADT/adt_value.ml
- src_colibri2/theories/LRA/dom_interval.ml 14 additions, 7 deletionssrc_colibri2/theories/LRA/dom_interval.ml
- src_colibri2/theories/LRA/dom_polynome.ml 6 additions, 3 deletionssrc_colibri2/theories/LRA/dom_polynome.ml
- src_colibri2/theories/LRA/dom_product.ml 8 additions, 4 deletionssrc_colibri2/theories/LRA/dom_product.ml
- src_colibri2/theories/LRA/fourier.ml 9 additions, 5 deletionssrc_colibri2/theories/LRA/fourier.ml
- src_colibri2/theories/LRA/mul.ml 2 additions, 1 deletionsrc_colibri2/theories/LRA/mul.ml
- src_colibri2/theories/LRA/realValue.ml 65 additions, 38 deletionssrc_colibri2/theories/LRA/realValue.ml
- src_colibri2/theories/bool/boolean.ml 37 additions, 28 deletionssrc_colibri2/theories/bool/boolean.ml
- src_colibri2/theories/bool/equality.ml 18 additions, 13 deletionssrc_colibri2/theories/bool/equality.ml
- src_colibri2/theories/quantifier/InvertedPath.ml 5 additions, 6 deletionssrc_colibri2/theories/quantifier/InvertedPath.ml
- src_colibri2/theories/quantifier/info.ml 5 additions, 1 deletionsrc_colibri2/theories/quantifier/info.ml
- src_colibri2/theories/quantifier/pattern.ml 20 additions, 16 deletionssrc_colibri2/theories/quantifier/pattern.ml
Loading
Please register or sign in to comment