MetAcsl now has a Changelog. Beyond compatibility with Frama-C 24.0 Chromium and OCaml 4.13, main changes include:

  • new meta-variable family \called_arg(n) in the \calling context
  • new meta-variable \func in all contexts
  • new warning category unknown-func, aborting by default, for names in target set that do not correspond to a function in the program.

Download the archive: frama-c-metacsl-0.2.tar.gz