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