--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on April 2009 ---
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