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] jessie plugin

  • Subject: [Frama-c-discuss] jessie plugin
  • From: nshmyrev at (Nickolay V. Shmyrev)
  • Date: Fri, 01 May 2009 03:34:59 +0400
  • In-reply-to: <>
  • References: <>

? ???, 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

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?=
Url :