Tags give the ability to mark specific points in history as being important
- Sort by
- Name
- Oldest updated
- Last updated
-
0.1Release First public release of MetAcsl
This is the first release of MetAcsl. It is meant to be compiled against Frama-C 22.0 Titanium
Pre-requisite
- Frama-C 22.0 Titanium
- OCaml compiler (the same as the one used for compiling Frama-C)
- SWIProlog (if you want to use the deduction facilities of MetAcsl)
Short compilation instructions
- Download frama-c-metacsl-0.1.tar.gz
tar xzvf frama-c-metacsl-0.1.tar.gz
cd frama-c-metacsl
./configure
make
make install
-
compat-fc-22.0-beta-1 Introducing new option `-meta-separate-annots`
-
compat-fc-22.0-beta This tag is meant to be compiled against Frama-C [22.0-beta](https://git.frama-c.com/pub/frama-c/-/tags/22.0-beta)