package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

frama-c.com Readme Edit opam file Versions (26)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-32.0-beta-Germanium.tar.gz

sha256=868d57ef8007fe6c0836cd151d8c294003af34aa678285eff9547662cad36aa3

doc/numerors/Numerors/Value/index.html

Module `Numerors.Value`Source

Numerors' abstract value, which computes a sound overapproximation of the floating-point expressions semantic. It is represented as a triplet containing a sound overapproximation of the real semantic along with sound overapproximations for the absolute and relative errors. Those overapproximations also performs a reduced product between the two errors. For more details, one can look at M. Jacquemin's thesis.

Source

type ('context, 'value) builtin =
  'context ->
  'value list ->
  'value Eva.Eval.or_bottom

Sourcemodule Make (Model : sig ... end) : sig ... end