--- layout: fc_discuss_archives title: Message 63 from Frama-C-discuss on September 2009 ---
[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