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

[Frama-c-discuss] jessie plugin



? ???, 30/04/2009 ? 15:36 +0000, fateh hettak ?????:
> hello, 
> plugin FRAM-C_ECLIPSE is based on  PLUGIN JESSIE. 
> my  work is to add some rules to framac-eclipse plugin 
>   - Now  i  search how the JESSIE plugin is added to   FRAMAC-ECLIPSE
> plugin.
> I'm really stuck, it's been a week that I try but I have  not  found
> nothing .
> 
> i ask you to  help me 
> thank you
> 

Dear Fateh

Please spend a minute on explanation of what do you need exactly to do
with Frama-C in Eclipse and we'll try to help you. Right now it's not
clear:

1. What do you expect to get
2. What are you doing.
3. What is your current state, what results have you got already.

You can even do it in French. 

Eclipse plugin currently added the support for the latest Frama-C, but
also simplified a bit. Many things changed, for example it currently
relies on ProverEditor Eclipse plugin from Mobius project for CoQ
support. So actually it's easy to get lost.

-------------- 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/20090501/e1622aa5/attachment.pgp