--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on May 2010 ---
> > BTW, I could not find on the Frama-C website where to get the sources for > the Jessie plugin, now that they are not distributed with Frama-C. > I guess they are with Why? Yes, they are in Why 2.24 from http://why.lri.fr/ (don't forget to apply the patch from http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-April/001918.html ) Pascal