--- layout: fc_discuss_archives title: Message 103 from Frama-C-discuss on June 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] wp calculus



Mauro Baluda a ?crit :
> I couldn't find the plugin in the frama-c sources, could you point me to it?

This plugin is not included in the release, because it is not finished 
yet. Sorry !
Maybe we can try some cases if you wish : if you can send me some 
examples, I can show you the result that we can get...

-- 
Anne.