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