package frama-c

Overview
Docs

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 Dependency

frama-c.com Readme Edit opam file Versions (23)

Authors

M

Michele Alberti
T

Thibaud Antignac
G

Gergö Barany
P

Patrick Baudin
N

Nicolas Bellec
T

Thibaut Benjamin
A

Allan Blanchard
L

Lionel Blatter
F

François Bobot
R

Richard Bonichon
V

Vincent Botbol
Q

Quentin Bouillaguet
D

David Bühler
Z

Zakaria Chihani
L

Loïc Correnson
J

Julien Crétin
P

Pascal Cuoq
Z

Zaynah Dargaye
B

Basile Desloges
J

Jean-Christophe Filliâtre
P

Philippe Herrmann
M

Maxime Jacquemin
F

Florent Kirchner
A

Alexander Kogtenkov
R

Remi Lazarini
T

Tristan Le Gall
J

Jean-Christophe Léchenet
M

Matthieu Lemerre
D

Dara Ly
D

David Maison
C

Claude Marché
A

André Maroneze
T

Thibault Martin
F

Fonenantsoa Maurica
M

Melody Méaulle
B

Benjamin Monate
Y

Yannick Moy
P

Pierre Nigron
A

Anne Pacalet
V

Valentin Perrelle
G

Guillaume Petiot
D

Dario Pinto
V

Virgile Prevosto
A

Armand Puccetti
F

Félix Ridoux
V

Virgile Robles
J

Jan Rochel
M

Muriel Roger
J

Julien Signoles
N

Nicolas Stouls
K

Kostyantyn Vorobyov
B

Boris Yakobowski

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-29.0-Copper.tar.gz

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

doc/frama-c-wp.gui/Wp_gui/GuiSource/class-popup/index.html

Class `GuiSource.popup`Source

method on_click : (selection -> unit) -> unit

method on_prove : (selection -> unit) -> unit

method register : GMenu.menu GMenu.factory ->
  Frama_c_gui.Design.main_window_extension_points ->
  button:int ->
  Frama_c_gui.Pretty_source.localizable ->
  unit