--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on October 2010 ---
Hello Virgile, 2010/10/6 Virgile Prevosto <virgile.prevosto at cea.fr>: > In particular, Frama-C Carbon will 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)? Sincerely yours, david