--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on December 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Carbon release



Hi,
Le 15/12/2010 15:46, Boris Hollas a ?crit :
> the frama-c site states that release Carbon 20101201 is available. The
> link however points to 20101201 beta-1. Is Carbon still in beta state?

This was a mistake: only beta-1 is available, even if it has not been 
announced.
A Beta-2 will probably be published on friday.

Cheers,
Benjamin