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.
- Prev by Date: [Frama-c-discuss] Visitor example in plugin-development guide
- Next by Date: [Frama-c-discuss] Visitor example in plugin-development guide
- Previous by thread: [Frama-c-discuss] Visitor example in plugin-development guide
- Next by thread: [Frama-c-discuss] ACSL by Example (for Nitrogen)