Release 1.6

• Compatibility with frama-c 22.0 to 25.0
• Activating the plug-in with -pilat option
• Few indentation fixes

Release 1.5 : Frama-C 22.0 / OCaml 4.10.0

Update for Frama-C 22.0

Pilat 1.1

A new version of the polynomial invariant generator Pilat, including two new features :

• The generation of non deterministic loop invariants (linear filters for example)
• The generation of the linearized version of the C program analyzed.