Version 0.2.6

• Compatibility with Frama-C 33.0 Arsenic

Version 0.2.4

• Compatibility with Frama-C 31.0 Gallium

Version 0.2.1

• Compatibility with Frama-C 29.0 Copper
• Replace ocamlyacc with menhir

Version 0.2

• Compatibility with Frama-C 25.0 Manganese

Version 0.1: first public release