--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Eclipse Plugin



Hi all

I did a little work on the aWhy Eclipse plugin (mostly cleanups, artwork
and adaptation to Ganymede) to use it with Frama-C. Unfortunately
because of incompatible changes in Why file names it only works with
frama-c-Lithium-20081002+beta1.

Anyhow, the code is available on github:

http://github.com/frama-c-eclipse/frama-c-eclipse/tree/master

The screenshot is here:

http://cloud.github.com/downloads/frama-c-eclipse/frama-c-eclipse/frama-c-eclipse.png


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: =?koi8-r?Q?=FC=D4=C1?= =?koi8-r?Q?_=DE=C1=D3=D4=D8?=
 =?koi8-r?Q?_=D3=CF=CF=C2=DD=C5=CE=C9=D1?=
 =?koi8-r?Q?_=D0=CF=C4=D0=C9=D3=C1=CE=C1?=
 =?koi8-r?Q?_=C3=C9=C6=D2=CF=D7=CF=CA?=
 =?koi8-r?Q?_=D0=CF=C4=D0=C9=D3=D8=C0?=
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090416/ba964287/attachment.pgp