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

sha256=5b13574a16a58971c27909bee94ae7f37b17d897852b40c768a3d4e2e09e39d2

Sourceval update : unit -> unit

Sourceval on_update : (unit -> unit) -> unit

Sourceval reload : unit -> unit

Sourceval on_reload : (unit -> unit) -> unit

val run_and_prove : 
  Frama_c_gui.Design.main_window_extension_points ->
  GuiConfig.provers ->
  GuiSource.selection ->
  unit

val register : 
  main:Frama_c_gui.Design.main_window_extension_points ->
  configure_provers:(unit -> unit) ->
  unit