--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Where should questions about jessie be asked?



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