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

[Frama-c-discuss] About ACSL importer plug-in



Hi,
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?

Thanks

Xu Deng
8621-7069

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110721/8bf3014a/attachment.htm>