--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New release of WP plug-in



Hello and happy new year,

I'm glad to announce the availability of a new release of WP plug-in.

The manual and a short tutorial are available from the page dedicated
to WP plug-in of Frama-C web site: <http://frama-c.com/wp.html>
 From there, you will find a link to the download center to get the
source package of the plug-in.

The plug-in can easily be installed:
Frama-C Nitrogen 2011001 has to be installed first.
By default, the installation procedure of Frama-C Nitrogen installs the
previous version of WP plug-in.
Never mind, the installation of the new release of WP plug-in will 
automatically
overload that previous version of WP plug-in.

Enjoy this new release of WP plug-in and don't hesitate to report feedback.

Kind regards,
Patrick Baudin.