--- layout: fc_discuss_archives title: Message 24 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



Sorry for the typo. WP 0.4 does not exists yet.
Correct sentence is :

"The WP 0.3 version requires Frama-C Carbon-20120201"

Le 13 avr. 11 ? 15:27, Boris Hollas a ?crit :

> 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
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss