--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on August 2008 ---
Hi Stephane, >... >This is a good collaboration of the different plugins. >But theses operations have been made in 2 independent steps that are >value analysis and proof with jessie. >... >If not, do you think it's conceivable ? Your assessment of what Frama-C currently provides, and what it should provide in terms of fine-grained collaboration between plug-ins, is perfectly correct. The bas news is that the fine-grained collaboration between plug-ins is not done yet. The good news is that we will not consider the Frama-C project completed until it is done. This will indeed be one of the key features of Frama-C Fe (or thereabout) :) Pascal