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.17.tar.bz2
md5=3535fef2cd555b1fd1ee8cfb746d4a86
sha512=2402446802b8369225dbfff15e0646b4b4567f7addb18fc633c6effac86b2abb9e9a35111189ad71e5aaf6acafd7b51436c898ed50283f52a435ffcafaada334
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