MetAcsl is available as a separate open-source plug-in, on [Gitlab](https://git.frama-c.com/pub/meta)(more information there).
MetAcsl is available as a separate open-source plug-in, on [Gitlab](https://git.frama-c.com/pub/meta)(more information there).
It is intended to be compatible with the latest state of [Frama-C's public repository](https://git.frama-c.com/pub/frama-c).
It is intended to be compatible with the latest state of [Frama-C's public repository](https://git.frama-c.com/pub/frama-c).
For installing the plug-in against the stable version Frama-C 22.0 Titanium,
Since Frama-C 22.0 Titanium, there also exists a companion [MetAcsl release](https://git.frama-c.com/pub/meta/-/releases/) for each Frama-C version. It is also available through `opam` as the
there also exists a companion [MetAcsl 0.1 release](https://git.frama-c.com/pub/meta/-/releases/0.1). It is also available through `opam` as the
`frama-c-metacsl` package.
`frama-c-metacsl` package.
Once installed, the plugin is activated by the `-meta` option, which will parse the meta-properties and generate the corresponding ACSL annotations.
Once installed, the plugin is activated by the `-meta` option, which will parse the meta-properties and generate the corresponding ACSL annotations.