Frama-C:
Plug-ins:
Libraries:

Frama-C API - Float_sig

Interface of floating-point numbers of different precisions.

type round =
  1. | Up
  2. | Down
  3. | Near
  4. | Zero

Rounding modes defined in the C99 standard.

type prec =
  1. | Single
  2. | Double
  3. | Long_Double
  4. | Real

Precision of floating-point numbers:

  • the 'single', 'double' and 'long double' C types;
  • the ACSL 'real' type.
module type S = sig ... end