--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2016 ---
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