--- layout: fc_discuss_archives title: Message 5 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?



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