--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on December 2013 ---
Dear all, >From previous threads of mailing list, I got to know that in many problems had been fixed in new version of frama-c. So I am looking forward to get the new release. Is there any plan for next release? Thanks, -david