From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: ANN: VC_View 2.1.1 is Linux compatible
Date: Tue, 08 Jun 2010 18:40:41 +0200
Date: 2010-06-08T18:40:41+02:00 [thread overview]
Message-ID: <op.vdzpx3u5xmjfy8@garhos> (raw)
In-Reply-To: d690f159-95f5-4a6a-ac36-97b732199880@a30g2000yqn.googlegroups.com
Le Tue, 08 Jun 2010 09:23:53 +0200, Maciej Sobczak
<see.my.homepage@gmail.com> a écrit:
> This bug (and some others) is there for a long time already, but
> apparently nobody cares.
May be more people are using a news-reader instead of Google group so too
few body noticed ?
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
prev parent reply other threads:[~2010-06-08 16:40 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-01 16:59 ANN: VC_View 2.1.1 is Linux compatible Phil Thornley
2010-06-07 17:48 ` Anh Vo
2010-06-07 18:56 ` Yannick Duchêne (Hibou57)
2010-06-08 7:23 ` Maciej Sobczak
2010-06-08 15:46 ` Anh Vo
2010-06-08 16:40 ` Yannick Duchêne (Hibou57) [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox