--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on February 2008 ---
Hello, > I discovered Frama-C through messages on Why's mailing list. > Is there any paper describing the GNU GPL framework, the API of > plugins, and the "ACSL" language? The only document I found is > http://www-spi.lip6.fr/~jaume/VP_25_09.pdf . All of these informations will be available on the offical website http://www.frama-c.cea.fr/ including the "ANSI/ISO C Specification Language (ACSL)" defintion and an extensive developer guide. The slides you found give only a partial overview of the framework geared toward C++ analysis. > Which plugin will be released as Free Software? Any release date planned? All plugins of the first release will be under LPGL v2.1. This will not include the C++ plugin. The first release (codename Hydrogen) is planned for the first week of march. Note that plugins have very different maturity levels. Thanks again for your interest in Frama-C and stay tuned! Benjamin _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss