package frama-c-luncov

  1. Overview
  2. Docs
Luncov plugin of Frama-C, part of the LTest suite

Install 

dune-project
 Dependency

frama-c.com Readme Changelog Edit opam file Versions (5)

Authors

  1. R
    Robin David
  2. M
    Mickaël Delahaye
  3. M
    Michael Marcozzi
  4. T
    Thibault Martin

Maintainers

  1. V
    virgile.prevosto@cea.fr

Sources

luncov-0.2.6.tar.bz2
md5=edaf695aa95d18fdc7d75af68ccaf3d0
sha512=237199a6b0b8f88aca508cb7baed5c3f4703dec93a566528775ba88e994957d33578d7beab8eafa1c3dedef3836092f118476f71b4b793dee0e1b1409629dbeb

doc/CHANGELOG.html

Version 0.2.6

  • Compatibility with Frama-C 33.0 Arsenic

Version 0.2.4

  • Compatibility with Frama-C 31.0 Gallium

Version 0.2.1

  • Compatibility with Frama-C 29.0 Copper
  • Replace ocamlyacc with menhir

Version 0.2

  • Compatibility with Frama-C 25.0 Manganese

Version 0.1: first public release