package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method reset : unit
method get_focus_mode : bool
method set_focus_mode : bool -> unit
method get_state_mode : bool
method set_state_mode : bool -> unit
method get_iformat : Wp.Plang.iformat
method set_iformat : Wp.Plang.iformat -> unit
method get_rformat : Wp.Plang.rformat
method set_rformat : Wp.Plang.rformat -> unit
method selected : unit
method unselect : target
method restore : target -> unit
method on_selection : (unit -> unit) -> unit
method sequent : Wp.Conditions.sequent
method selection : Wp.Tactical.selection
method set_target : Wp.Tactical.selection -> unit
method popup : unit
method on_popup : (Frama_c_gui.Widget.popup -> unit) -> unit
method pp_term : Wp.Lang.F.term printer
method pp_pred : Wp.Lang.F.pred printer
method pp_selection : Wp.Tactical.selection printer
method pp_sequent : Wp.Conditions.sequent -> Stdlib.Format.formatter -> unit
method goal : Wp.Wpo.t -> Stdlib.Format.formatter -> unit
method button : title:string -> callback:(unit -> unit) -> Stdlib.Format.formatter -> unit
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