package frama-clang

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

Install

Dune Dependency

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

Authors

  1. D
    David Cok
  2. V
    Virgile Prevosto
  3. F
    Franck Védrine

Maintainers

  1. V
    Virgile.Prevosto@cea.fr

Sources

frama-clang-0.0.14.tar.bz2
sha256=fa6b471814007322fcb4ea56addbe94cd49c570e17b1f33d633bc5e3fc8e0913

Description

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

Tags

Frama-C formal specification C++ plugins ACSL ACSL++

Published: 06 Sep 2023

Dependencies (9)

  1. conf-cmake
  2. conf-clang os-family = "debian"
  3. conf-libclang >= "11.0.0"
  4. conf-llvm >= "11.0.0"
  5. camlp-streams
  6. camlp5
  7. zarith >= "1.5"
  8. frama-c >= "27.0~" & < "28.0~"
  9. dune >= "3.2"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None