Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] New release of WP plug-in
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
  • Date: Wed, 11 Jan 2012 10:01:17 +0100
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.