[FP] Add interpretation of fp functions
Showing
- dolmen 1 addition, 1 deletiondolmen
- farith2/extract/dune 2 additions, 1 deletionfarith2/extract/dune
- farith2/extracted/BinarySingleNaN.ml 93 additions, 0 deletionsfarith2/extracted/BinarySingleNaN.ml
- farith2/extracted/BinarySingleNaN.mli 14 additions, 0 deletionsfarith2/extracted/BinarySingleNaN.mli
- farith2/extracted/GenericFloat.ml 58 additions, 0 deletionsfarith2/extracted/GenericFloat.ml
- farith2/extracted/GenericFloat.mli 12 additions, 0 deletionsfarith2/extracted/GenericFloat.mli
- farith2/extracted/Qextended.ml 20 additions, 0 deletionsfarith2/extracted/Qextended.ml
- farith2/extracted/Qextended.mli 8 additions, 0 deletionsfarith2/extracted/Qextended.mli
- farith2/extracted/Zaux.ml 14 additions, 0 deletionsfarith2/extracted/Zaux.ml
- farith2/extracted/Zaux.mli 8 additions, 0 deletionsfarith2/extracted/Zaux.mli
- farith2/extracted/dune 4 additions, 0 deletionsfarith2/extracted/dune
- farith2/farith2.ml 25 additions, 0 deletionsfarith2/farith2.ml
- farith2/farith2.mli 18 additions, 0 deletionsfarith2/farith2.mli
- farith2/thry/GenericFloat.v 141 additions, 0 deletionsfarith2/thry/GenericFloat.v
- src_colibri2/stdlib/std.ml 6 additions, 0 deletionssrc_colibri2/stdlib/std.ml
- src_colibri2/stdlib/std.mli 2 additions, 0 deletionssrc_colibri2/stdlib/std.mli
- src_colibri2/theories/FP/fp_value.ml 65 additions, 0 deletionssrc_colibri2/theories/FP/fp_value.ml
- src_colibri2/theories/LRA/dom_product.ml 1 addition, 6 deletionssrc_colibri2/theories/LRA/dom_product.ml
- src_colibri2/theories/LRA/realValue.ml 71 additions, 19 deletionssrc_colibri2/theories/LRA/realValue.ml
- src_colibri2/theories/LRA/realValue.mli 9 additions, 1 deletionsrc_colibri2/theories/LRA/realValue.mli
Loading
Please register or sign in to comment