--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on April 2011 ---
On Wed, 2011-04-13 at 15:08 +0200, Lo?c Correnson wrote: > The WP 0.3 version is a slightly modified version of the one > distributed with Frama-C Carbon-beta 2, see Changelog for details. > The WP 0.4 version requires Frama-C Carbon-20120201. Is 0.3 a newer version than the one previously distributed with Frama-C Carbon? Is WP 0.4 available for download? The download page gives a link to WP 0.3 only. -- Best regards, Boris