package frama-c-lannotate

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

Install 

dune-project
 Dependency

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

Authors

  1. O
    Omar Chebaro
  2. M
    Mickaël Delahaye
  3. M
    Michael Marcozzi
  4. T
    Thibault Martin

Maintainers

  1. V
    virgile.prevosto@cea.fr

Sources

lannotate-0.2.6.tar.bz2
md5=dd9ce848d6f4b4086095f6143e980325
sha512=fb99a2ba43df2ba3e7f4f109fb22e4aec099ea32c924a0048fadf2a346e6d20adecb04bd3d46c0aadc65ea8a2e53b77b337fbc1df8e6740a62b3dbdbc35259cd

doc/CHANGELOG.html

Version 0.2.6

  • Compatibility with Frama-C 33.0 Arsenic

Version 0.2.5

  • Compatibility with Frama-C 32.0 Germanium

Version 0.2.4

  • Compatibility with Frama-C 31.0 Gallium

Version 0.2.3

  • Compatibility with Frama-C 29.0 Copper
  • Update Frama-C dependency in dune and opam files
  • Fix a regression regarding the activation of LAnnotate when it should not have been enabled

Version 0.2.1

  • compatibility with Frama-C 27.0 Cobalt

Version 0.2

  • Compatibility with Frama-C 25.0 Manganese
  • Fix small issues with RCC and BDUC criteria

Version 0.1: first public release