--- layout: fc_discuss_archives title: Message 14 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



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