--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-C Fluorine + jessie



The jessie plugin for Fluorine is compiled and installed when
compiling/installing Why 2.33. You need also to install Why3 before. See
http://krakatoa.lri.fr/ for details

- Claude

On 08/21/2013 05:31 PM, Maria Christofi wrote:
> Goodmorning everyone, 
> 
> I wanted to try the new Frama-C's release today, but I am afraid that
> the Jessie plugin is not supported anymore (at least it is not present
> in the list of frama-c available plugins).. Is that right or am I doing
> something wrong? 
> 
> Thanks in advance!
> -- 
> Maria Christofi
> 
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>