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

[Frama-c-discuss] Release Carbon beta-2



Dear Frama-C users,

The Frama-C team is proud to announce its new beta-release of the  
platform, named Carbon !

You can download the Carbon-20101202-beta2 source distribution at http://www.frama-c.com/download.html 
, enjoy !
Binary release will come soon, and we expect a final Carbon release in  
early 2011.

Most important changes:

- New plug-in WP for verifying ACSL annotation by weakest-precondition  
calculus (http://www.frama-c.com/wp.html)
- Several improvements in Value Analysis
- Major changes in the Kernel (several modified API, please consult  
the change log)

Best regards,
	Lo?c Correnson.