0.3
3a6bf467 · Preparing release 0.3 (for Manganese) ·
Release: MetAcsl 0.3, compatible with Frama-C 25.0 Manganese