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