--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on April 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] WP 0.3 Released



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