--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on March 2016 ---
On 03/31/2016 12:54 AM, David R. Cok wrote: > As part of a larger project, we have developed an Eclipse plug-in for > viewing and editing C code with ACSL annotations. The plug-in is a > standard Eclipse plug-in, meant to be used with the CDT environment. > It treats ACSL annotations just like C code - with syntax coloring, > renaming, refactoring, parsing and type errors highlighted with > problem markers. > > The larger project also integrates with various tools, including > Frama-C WP. Here, Frama-C proof failures are reported as problem > markers in the Eclipse editor. > > If anyone is interested in providing feedback on this alpha release, > please respond to me. > > - David Cok > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss Dear David, I'd be interested in trying it out. Regards, -- André Maroneze Ingénieur-chercheur CEA/LIST Laboratoire Sûreté et Sécurité des Logiciels