---
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?
- Subject: [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
- From: dmentre at linux-france.org (David MENTRE)
- Date: Fri, 9 Dec 2011 10:25:05 +0100
- In-reply-to: <CAC3Lx=ZzsSW+c=twC--a+Gq=4_ecp4de6-csEWGgcwDDiPLJDA@mail.gmail.com>
- References: <CAC3Lx=aPPQOx6_pVXvyvy2qwCmzTPK8iJpk8rqR05R=Dr7AVbA@mail.gmail.com> <4EDF792E.3080509@inria.fr> <CAC3Lx=ZzsSW+c=twC--a+Gq=4_ecp4de6-csEWGgcwDDiPLJDA@mail.gmail.com>
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