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



2009/9/25 Hollas Boris (CR/AEY1) <Boris.Hollas at de.bosch.com>:
> Can you please give me a download link for the modified plugin that you use at Gemalto? Maybe is also works with Eclipse 3.5 and Frama-C/Jessie. This would be very convenient for some of our developers who work with Eclipse.
>

You probably would like to try frama-c-eclipse plugin:

http://github.com/frama-c-eclipse/frama-c-eclipse

The update site archive is here:

http://cloud.github.com/downloads/frama-c-eclipse/frama-c-eclipse/mobius.zip

Lately added features include:

1) Works with Eclipse 3.5 Galileo
2) Works with Berillium, despite of recent command line behaviour break.
3) VC generation is integrated in a build process (Use project right
click -> Add Verification) to add a builder.
4) Integration with mobius coq plugins, it's very easy to use coq to
prove some VC.
5) Nicely looking style