--- layout: fc_discuss_archives title: Message 65 from Frama-C-discuss on May 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : Loop invariants with imbricated loops.



Hi David,
I was busy during this week. I opened account. Thanks again.
Dragan

On Wed, May 20, 2009 at 10:12 PM, David MENTRE <dmentre at linux-france.org>wrote:

> Hello,
>
> Dragan <dragan.stosic at gmail.com> writes:
>
> >     Unfortunately http://bts.fram-c.com/ doesn't works.
>
> It is http://bts.frama-c.com
>
> You need to create a login on the Mantis BTS to write or even *read* the
> wiki (sigh).
>
> Yours,
> d.
> --
> GPG/PGP key: A3AD7A2A David MENTRE <dmentre at linux-france.org>
>  5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090524/b185ec53/attachment.htm