--- layout: fc_discuss_archives title: Message 59 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.



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