Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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