package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Integer and floating-point option and attribute handling.

type int_precision = bool * bool * bool * bool * bool
type float_precision = bool
val def_exc : bool option Stdlib.ref
val interval : bool option Stdlib.ref
val enums : bool option Stdlib.ref
val congruence : bool option Stdlib.ref
val interval_set : bool option Stdlib.ref
val get_def_exc : unit -> bool
val get_interval : unit -> bool
val get_enums : unit -> bool
val get_congruence : unit -> bool
val get_interval_set : unit -> bool
val annotation_int_enabled : bool option Stdlib.ref
val get_annotation_int_enabled : unit -> bool
val reset_lazy : unit -> unit
val max_int_precision : int_precision
val max_float_precision : float_precision
val int_precision_from_fundec : GoblintCil.fundec -> int_precision
val float_precision_from_fundec : GoblintCil.fundec -> float_precision
val int_precision_from_node : unit -> int_precision
val is_congruence_active : int_precision -> bool
val float_precision_from_node : unit -> float_precision
val int_precision_from_node_or_config : unit -> int_precision
val float_precision_from_node_or_config : unit -> float_precision
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct