--- layout: fc_discuss_archives title: Message 93 from Frama-C-discuss on November 2009 ---
Why 2.22 is available on http://why.lri.fr. It is distributed with a new version of the Jessie plugin, compatible with Beryllium-2. Here is a summary of the changes which impact the Jessie plugin: o support for decreases clauses, even for mutually recursive functions o support for the 'for' modifier in decreases clauses and loop variants o support for "complete behaviors" and "disjoint behaviors" clauses. o experimental support of ACSL polymorphic logic types o Bugs fixed: 0341, 0034, 0037, 0284, 0026, 0103, 0112, 0306, 0041, 0063, 0073, 0094, 0102, 0199, 0273 -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |