package frama-c-metacsl

You can search for identifiers within the package.

in-package search v0.2.0

MetAcsl plugin of Frama-C for writing pervasives properties

Install

Dune Dependency

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

Authors

V

Virgile Robles

Maintainers

V

Virgile.Prevosto@cea.fr

Sources

meta-0.5-beta.tar.bz2

md5=33be7f72b15f8c373f26b607717f3006

sha512=d8f72397ee9017ed321f0f7dc65103db7394616ddd22a35cf2b293bdccf26eabf4272efad9ba32b0a824e65b6cf661c148f893ad6e120de54b5ab5086b8c79e3

doc/CHANGELOG.html

Version 0.4

compatibility with Frama-C 26.0 Iron
ensure Wookey case study can be handled (with non-free ACSL-importer plug-in)

Version 0.3

compatibility with Frama-C 25.0 Manganese

Version 0.2

add warning category unknown-func which aborts by default
add \func meta-variables in all contexts
remove unused -meta-eacsl option
more simplification of trivial instances
add \called_arg family of meta-variables in \calling context

Version 0.1: first public release