package frama-clang

You can search for identifiers within the package.

in-package search v0.2.0

Frama-C plug-in based on Clang for parsing C++ files

Install

Dune Dependency

frama-c.com Edit opam file Versions (4)

Authors

Maintainers

V

Virgile.Prevosto@cea.fr

Sources

frama-clang-0.0.14.tar.bz2

sha256=fa6b471814007322fcb4ea56addbe94cd49c570e17b1f33d633bc5e3fc8e0913

Description

This Frama-C plug-in parse C++ files that may content ACSL++ annotations.

Tags

Frama-C formal specification C++ plugins ACSL ACSL++

Published: 06 Sep 2023

Dependencies (9)

conf-cmake
conf-clang os-family = "debian"
conf-libclang >= "11.0.0"
conf-llvm >= "11.0.0"
camlp-streams
camlp5
zarith >= "1.5"
frama-c >= "27.0~" & < "28.0~"
dune >= "3.2"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts

None

On This Page

Description
Dependencies (9)
Dev Dependencies (1)
Used by
Conflicts