frama-clangversion
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.17-beta/frama-clang-0.0.17-beta.tar.bz2 md5=24d18e837cfa394b0b70f7d9595b80ce sha512=2a3a455706ab0659d075e09a3c2794af5407349ffd6a65260c0601aed4c7728452f7ebfc3b986b855134d021e93dcee2f68f5f4289a9c08faee1a914f9603f38 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/frama-clang/frama-clang.0.0.17~beta/opam |
No package is dependent