--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on September 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Simple loop, overflow and bounds



Le 04/09/2015 02:06, Tim Newsham wrote :
>
>         Next public version of Frama-C should be able to prove this
>         assertion.
>
>
> When is the next version due out?

Sorry, the answer to that question is never public.

> Is the dev code in a publicly accessible repository?
Access to dev code can be considered via commercial support and licenses 
(see. http://frama-c.com/support.html).

-- Patrick.


-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150904/9ce0d96c/attachment.html>