package frama-clang

  1. Overview
  2. No Docs
Frama-C plug-in based on Clang for parsing C++ files

Install 

dune-project
 Dependency

frama-c.com Edit opam file Versions (7)

Authors

  1. V
    Virgile Prevosto

Maintainers

  1. V
    Virgile.Prevosto@cea.fr

Sources

frama-clang-0.0.18.tar.bz2
md5=f83ac85f2272c3bbb8d4800b41048c8d
sha512=f4f5d7a231e2d231f0144adb745a9920d8f1fc0716c13d0817f668678dbc164c697821f6d387f4478e77b0ef62db7ca874bb192a041bd3403274c67eb37c9f0c

Description

This Frama-C plug-in parse C++ files that may contain ACSL++ annotations.

Tags

formal specification C++ plugins ACSL ACSL++

Published: 22 Sep 2025

Dependencies (9)

  1. conf-cmake
  2. conf-clang
  3. conf-libclang >= "11.0.0" & < "20"
  4. conf-llvm >= "11.0.0" & < "20"
  5. camlp-streams
  6. camlp5
  7. zarith >= "1.5"
  8. frama-c >= "31.0~" & < "32.0~"
  9. dune >= "3.13" & != "3.13.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None