--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on July 2011 ---
Hi, Le 21/07/2011 07:21, Deng, Xu a ?crit : > I hear ACSL importer plug-in that used to import external ACSL file into > .C is not free software, what is the cost of this plug-in? As this list is more oriented toward technical discussions, I have answered you in private. By the way, you may use support at frama-c.com for all non technical questions. Cheers, -- Benjamin Monate