--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2008 ---
Hi, You are right, the current Jessie plugin inherits Caduceus limitations, but some should be supported ultimately. Since Jessie is a bridge between Frama-C and Why, questions can be asked on either frama-c or why discussion lists, with a preference for the frama-c list (this list!) for all questions about C support. Yannick On Wed, Jun 11, 2008 at 9:30 PM, Jonathan S. Shapiro <shap@eros-os.com> wrote: > We're exploring caduceus for the Coyotos kernel, and this led us quickly > to frama-c. > > The notes on the jessie plugin indicate that jessie does not support > unions, pointers to functions, casts, or variadic functions. These are > fairly severe limitations for real-world use. > > Which list is the appropriate place to ask questions about jessie? > > > Thank you. > > > Jonathan > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss@lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20080613/8ddcece9/attachment.html