package goblint

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

the two-phased terminating SLR3 box solver

Parameters

module HM : Batteries.Hashtbl.S with type key = S.v

Signature

include sig ... end
val stack_d : int ref
val full_trace : bool
val start_c : int
val max_c : int ref
val max_var : S.Var.t option ref
val histo : int HM.t
val increase : S.Var.t -> unit
val start_event : unit -> unit
val stop_event : unit -> unit
val new_var_event : S.Var.t -> unit
val get_var_event : S.Var.t -> unit
val eval_rhs_event : S.Var.t -> unit
val update_var_event : S.Var.t -> S.Dom.t -> S.Dom.t -> unit
val print_solver_stats : (unit -> unit) ref
val ncontexts : int ref
val print_context_stats : 'a HM.t -> unit
val stats_csv : unit BatIO.output option
val write_csv : string list -> unit BatIO.output -> unit
val print_stats : 'a -> unit
module VS : sig ... end
module P : sig ... end
module HPM : sig ... end
val narrow : S.Dom.t -> S.Dom.t -> S.Dom.t
val solve : (S.Var.t * S.Dom.t) list -> S.Var.t list -> S.Dom.t HM.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet 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