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\callingcontext - new meta-variable
\funcin 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