Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • revert-6a4cd7cd
  • forward-rvalue-ref
  • stable/vanadium
  • stable/titanium
  • stable/scandium
  • stable/calcium
  • 0.0.17
  • 0.0.17-beta
  • 0.0.16
  • 0.0.15
  • 0.0.14
  • 0.0.13
  • pre-dune
  • 0.0.12
  • 24.0-beta
  • 0.0.10
  • v0.0.10
  • VESSEDIA-D2.5
  • VESSEDIA-D2.3
  • 0.0.4
  • 20150324
29 results
Blame Permalink
frama-clang.opam.template 410 B 
name: "frama-clang"
version: "0.0.15"
synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """
This Frama-C plug-in parse C++ files that may content ACSL++ annotations.
"""
maintainer: "Virgile.Prevosto@cea.fr"
authors: [
  "Virgile Prevosto"
]
license: "LGPL-2.1-only"
homepage: "https://frama-c.com/fc-plugins/frama-clang.html"
bug-reports: "https://git.frama-c.com/pub/frama-clang"