--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on December 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?



Hello Claude,

2011/12/7 David MENTRE <dmentre at linux-france.org>:
>> David, may be you could encourage progress towards the support of invariants
>> if you can tell what kind of invariants you have in mind, and in particular
>> whether the restriction above would be too much for you or not.
[...]
> I'll look at code to give more feedback.

It will take longer than expected, so don't hold your breadth. But I'm
keeping this in my todo list and I'll give a feedback.

Best regards,
david