--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on April 2011 ---
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>