Commit 73055372 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[eva] numerors: use mlmpfr

parent 80409230
......@@ -119,7 +119,7 @@ apron.v0.9.12 \\\
conf-graphviz.0.1 \\\
dune.3.3.1 \\\
dune-site.3.3.1 \\\
mlgmpidl.1.2.12 \\\
mlmpfr.4.1.0-bugfix2 \\\
ocamlfind.1.8.1 \\\
ocamlgraph.1.8.8 \\\
ppx_deriving_yojson.3.6.1 \\\
......
......@@ -4597,7 +4597,7 @@ not tainted anymore.
\label{sec:numerors}
\emph{This domain is experimental and should only be used on toy examples.\\
It requires the \texttt{mlgmpidl} library with support of MPFR,
It requires the \texttt{mlmpfr} library with support of MPFR,
provided by opam.}
\Eva{} provides a domain inferring ranges for the absolute and relative errors
......
......@@ -133,7 +133,7 @@ depopts: [
# libraries: because we use dynamic linking
"apron"
"coq"
"mlgmpidl"
"mlmpfr" { >= "4.1.0-bugfix2"}
"zmq"
]
......
......@@ -10,7 +10,7 @@ support libraries (notably gtksourceview). lablgtk3 should be preferred.
- apron.v0.9.13 (for eva, optional)
- coq.8.13.0 (for wp, optional)
- lablgtk3.3.1.1 + lablgtk3-sourceview3.3.1.1 | lablgtk.2.18.11
- mlgmpidl.1.2.14 (for eva, optional)
- mlmpfr.4.1.0-bugfix2 (for eva, optional)
- ocamlfind.1.8.1
- ocamlgraph.1.8.8
- ppx_deriving_yojson.3.6.1 (for mdr, optional)
......
......@@ -23,6 +23,7 @@
open Numerors_utils
module P = Precisions
module Mpfr = Mlmpfr
(* Type declaration *)
type t = P.t * Mpfr.mpfr_float
......
......@@ -114,9 +114,7 @@ val prec : t -> Precisions.t
(** Returns the exponent of its input *)
val exponent : t -> int
(** Returns the significand of its input. This function is known to generate a
core dump if the version of your MPFR library is the 3.0.1. The version 4.0
of the library does not have the bug anymore. *)
(** Returns the significand of its input. *)
val significand : t -> t
(** Returns a element containing the same value as <dst> but with the sign
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment