package frama-c-metacsl

  1. Overview
  2. Docs

Version 0.5

  • compatibility with Frama-C 27.x Cobalt
  • added -meta-check-callee-assigns option (contributed by Thales Research & Technology)

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