--- layout: fc_discuss_archives title: Message 60 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



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.