package frama-clang
- Overview
- No Docs
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
Authors
Maintainers
Sources
frama-clang-0.0.18-beta.tar.bz2
md5=724c73a487e9976ef4174ea095075f95
sha512=52f9a7acee6c3a2d43516ebdd6fa15b204e743ddee8e508948d4f2ae13d8bec2ba0e92947d0c920e9d938807e9cd485b38f675c6999e2fbe837aa640a07c9230
Description
This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.
Dependencies (9)
- conf-cmake
- conf-clang
-
conf-libclang
>= "11.0.0" -
conf-llvm
>= "11.0.0" - camlp-streams
- camlp5
-
zarith
>= "1.5" -
frama-c
>= "31.0~" & < "32.0~" -
dune
> "3.13.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page