--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on April 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New Frama-C version: Fluorine



Thanks! Z3 now seems to be working just fine.

There have been several patches in this thread, are they going to be
included in the public release (located on the website)?

-- 
Cumprimentos,
Cristiano Sousa
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130424/30046ead/attachment.html>