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=9c1cbffd28bb33c17a668107e39c96e4ae7378a3d8249f69b47afc7ee964e9b8

Sourcetype t =

Sourceval title : t -> string

Sourceval parse : string -> t

Sourceval pretty : Format.formatter -> t -> unit

Sourceval get : unit -> t

Sourceval set : t -> unit

Sourceval add_hook_on_update : (unit -> unit) -> unit