--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on August 2013 ---
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 >