package frama-clang
Frama-C plug-in based on Clang for parsing C++ files
Install
Dune Dependency
Authors
Maintainers
Sources
frama-clang-0.0.15.tar.bz2
md5=10709f16660d4c58a0923e3133b7290c
sha512=6b6358b01188c590e8aa5cfcb7a8f0876c5a3e56fd900167a98f573c42e0d15603757455fd2d8d80ad4129cb22920eb07f81e3e0638ebb963bbe10eda4cb7fb6
Description
This Frama-C plug-in parse C++ files that may content 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
>= "28.0~" & < "29.0~" -
dune
>= "3.2"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page