Numerors (frama-c-eva.Numerors)

module Numerors_arithmetics : sig ... end

module Numerors_domain : sig ... end

Numerors domain: computes over-approximations of the rounding errors bounds of floating-point computations. Nothing is exported: the domain is registered as an analysis abstraction in the Eva engine, enabled by the -eva-domains numerors option.

module Numerors_float : sig ... end

module Numerors_interval : sig ... end

module Numerors_utils : sig ... end

module Numerors_value : sig ... end