Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] invitation to try an alpha release of an Eclipse GUI for Frama-C
  • From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
  • Date: Fri, 1 Apr 2016 12:59:43 +0000
  • In-reply-to: <56FCD64E.8080000@cea.fr>
  • References: <56FC592F.8080609@grammatech.com> <56FCD64E.8080000@cea.fr>
Hello David,

I'm also interested, as we made some works some years ago on an Eclipse integration with the FCDT project that no longer exists.
What are the main differences with the FCDT project and what is the licence of your project ?

Stéphane


-----Original Message-----
From: Frama-c-discuss [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Andre Maroneze
Sent: Thursday, March 31, 2016 9:49 AM
To: dcok at grammatech.com
Cc: Frama-C public discussion
Subject: Re: [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

_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss at lists.gforge.inria.fr
http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
Ce message et toutes les pièces jointes (ci-après le "message") sont établis à l’intention exclusive des destinataires désignés. Il contient des informations confidentielles et pouvant être protégé par le secret professionnel. Si vous recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de détruire le message. Toute utilisation de ce message non conforme à sa destination, toute diffusion ou toute publication, totale ou partielle, est interdite, sauf autorisation expresse de l’émetteur. L'internet ne garantissant pas l'intégrité de ce message lors de son acheminement, Atos (et ses filiales) décline(nt) toute responsabilité au titre de son contenu. Bien que ce message ait fait l’objet d’un traitement anti-virus lors de son envoi, l’émetteur ne peut garantir l’absence totale de logiciels malveillants dans son contenu et ne pourrait être tenu pour responsable des dommages engendrés par la transmission de l’un d’eux.

This message and any attachments (the "message") are intended solely for the addressee(s). It contains confidential information, that may be privileged. If you receive this message in error, please notify the sender immediately and delete the message. Any use of the message in violation of its purpose, any dissemination or disclosure, either wholly or partially is strictly prohibited, unless it has been explicitly authorized by the sender. As its integrity cannot be secured on the internet, Atos and its subsidiaries decline any liability for the content of this message. Although the sender endeavors to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting from any virus transmitted.