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] why eclipse plugin

If I remember correctly, the plugin works well with Eclipse 3.2 (Callisto).
It may require little work to adapt it to a more recent release. 

For the record, we are using it at Gemalto for almost a year now,
but only for Java source code verification (i.e. with the Krakatoa tool), and it works well. However we modified it a lot in the process.

Hope this helps,

- Nicolas


-----Original Message-----
From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Hollas Boris (CR/AEY1)
Sent: jeudi 24 septembre 2009 15:56
To: Frama-C public discussion
Subject: [Frama-c-discuss] why eclipse plugin

There's an eclipse plugin for why on http://www.lri.fr/~oudot/. Can this be used as an alternative to gWhy and has anybody successfully installed it? My Eclipse 3.5 reports:

Unable to read repository at http://www.lri.fr/~oudot/plugin/WhyPluginUpdateSite.
http://www.lri.fr/~oudot/plugin/WhyPluginUpdateSite <http://www.lri.fr/~oudot/plugin/WhyPluginUpdateSite>  is not a valid repository location

Also, nothing seems to happen If I place the jar manually in the plugins-directory.

_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss at lists.gforge.inria.fr
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss