--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] invitation to try an alpha release of an Eclipse GUI for Frama-C



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