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

[Frama-c-discuss] binaries for linux?



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