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

[Frama-c-discuss] Support Formatcil module



Hi,
I am working on a project that needs Formatcil module from CIL but
unfortunately I cannot find it in the CIL package of frama-c carbon
20110201. I was trying to port Formatcil module from CIL 1.3.7 but it seems
not so easy because some core types (like Cil.exp) has been changed in
frama-c. Has anyone tried to use Formatcil with frama-c?

BTW what is the CIL version frama-c is based on?

-- 
Best Regards
Steven Gong
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110430/281a5955/attachment.htm>