[Eva] Use of mlgmpidl bindings to MPFR for error values
Showing
- Makefile 1 addition, 1 deletionMakefile
- Makefile.generating 1 addition, 0 deletionsMakefile.generating
- configure.in 2 additions, 2 deletionsconfigure.in
- src/libraries/utils/hptmap.ml 15 additions, 8 deletionssrc/libraries/utils/hptmap.ml
- src/plugins/value/value_parameters.ml 13 additions, 0 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 2 additions, 0 deletionssrc/plugins/value/value_parameters.mli
- src/plugins/value/values/errors_value.ko.ml 1 addition, 0 deletionssrc/plugins/value/values/errors_value.ko.ml
- src/plugins/value/values/errors_value.ml 542 additions, 0 deletionssrc/plugins/value/values/errors_value.ml
- src/plugins/value/values/errors_value.ok.ml 319 additions, 218 deletionssrc/plugins/value/values/errors_value.ok.ml
Loading
Please register or sign in to comment