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