frama-clangversion Documentation on ocaml.org
Frama-C plug-in based on Clang for parsing C++ files
This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.
| Tags | formal specification C++ plugins ACSL ACSL++ |
|---|---|
| Author | Virgile Prevosto |
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://frama-c.com/frama-clang.html |
| Issue Tracker | https://git.frama-c.com/pub/frama-clang/-/issues |
| Maintainer | Virgile.Prevosto@cea.fr |
| Dependencies |
|
| Source [http] | https://git.frama-c.com/pub/frama-clang/-/archive/0.0.20/frama-clang-0.0.20.tar.bz2 md5=cb1f49d7828013ef6a321c037e9f0c03 sha512=f848d4d0215a57820d4baf58f1036ed4a0a2573398e27130600094df8f9ea5ef41a87d007d07cb5d57e54520166aee2df54e8a3b276bc57f449a129c62a9c819 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/frama-clang/frama-clang.0.0.20/opam |
No package is dependent
