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

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

Sourceclass type composer = object ... end

Sourceclass type browser = object ... end

class tactic : Wp.Tactical.t -> (Format.formatter ->
  Wp.Tactical.selection ->
  unit) -> object ... end

type auto_callback =
  depth:int ->
  width:int ->
  Wp.Strategy.heuristic list ->
  unit

Sourceclass autosearch : unit -> object ... end

Sourcetype callback = depth:int -> Wp.ProofStrategy.strategy option -> unit

Sourceclass strategies : unit -> object ... end