package frama-c-luncov

You can search for identifiers within the package.

in-package search v0.2.0

Luncov plugin of Frama-C, part of the LTest suite

Install

Dune Dependency

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

Authors

Maintainers

V

virgile.prevosto@cea.fr

Sources

luncov-0.2.4.tar.bz2

md5=3d50489dbb7640f819afe7b2b508a462

sha512=cbcd586e971fbcbc4a6bafc435f763988bd66ea0d42ff3d241ad364ca569756fd57be30bdd876576e087fc2d2cb1cc34f477344696ff9fd39b74f7dfa454a1ee

doc/CHANGELOG.html

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