--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on October 2010 ---
> Regarding the next version of Frama-C, are any changes planned in the > set of plug-ins (addition, deprecation, major change in a plug-in)? The value analysis will require much less memory for many large analyses, along with other less striking improvements. The ratios range from 4 to 100 for the existing memory consumption benchmarks that I had lying around (that is, from 4 times less memory required to 100 times less memory required). External plug-in implementors will discover a new API for defining datatypes, along with an almost automatic transition script for existing external plug-ins. There will be a new weakest precondition plug-in alongside Jessie, with different strengths and weaknesses. It will of course make use of the same ACSL contracts. Note that no date is fixed for a Carbon release and that while it is unlikely that these changes do not happen, many others could be added to the list in the meantime. Pascal