package frama-clang
Frama-C plug-in based on Clang for parsing C++ files
Install
Dune Dependency
Authors
Maintainers
Sources
frama-clang-0.0.16.tar.bz2
md5=c72bbd00788b24146513486633bbbf7e
sha512=748cc3202ee3cfc37cc0a11987e3324a23fe8639651ada59cda4e10367196f2b126842d8d953ed4b78753bd387c1afd4f74ef21eed45b3320a64bd24597d8dcd
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
>= "29.0~" & < "30.0~" -
dune
>= "3.7" & != "3.13.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page