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



Hello Nickolay,

How is the plugin used? Do I have to configure anything?

I see four green arrows in the tool bar. When I click on any of them, a window with the message "operation not enabled" pops up. I haven't found an entry in the preferences on frama-c or mobius.

Is this plugin related the the ESC/Java2 plugin?

-Boris

-----Urspr?ngliche Nachricht-----
Von: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] Im Auftrag von Nickolay V. Shmyrev
Gesendet: Freitag, 25. September 2009 17:22
An: Frama-C public discussion
Betreff: Re: [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

_______________________________________________
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