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