* ANN: VC_View 2.1.1 is Linux compatible
@ 2010-06-01 16:59 Phil Thornley
2010-06-07 17:48 ` Anh Vo
0 siblings, 1 reply; 6+ messages in thread
From: Phil Thornley @ 2010-06-01 16:59 UTC (permalink / raw)
VC_View presents verification conditions, generated by the SPARK
tools, in a way that makes them easier to interpret:
1. Only immediately relevant hypotheses are initially displayed.
2. User identifiers are replaced by upper-case letters.
Version 2.1.1 of VC_View is now available and is compatible with both
Windows and Linux.
The source distribution (GPL) and a Windows executable are available
on the Download page at www.sparksure.com.
(The program functionality is the same as the previous Windows only
version, 2.0).
Many thanks to Alexander Senier for sorting out the compatibility
problems.
Phil Thornley
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: VC_View 2.1.1 is Linux compatible
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)
0 siblings, 1 reply; 6+ messages in thread
From: Anh Vo @ 2010-06-07 17:48 UTC (permalink / raw)
On Jun 1, 9:59 am, Phil Thornley <phil.jpthorn...@googlemail.com>
wrote:
> VC_View presents verification conditions, generated by the SPARK
> tools, in a way that makes them easier to interpret:
> 1. Only immediately relevant hypotheses are initially displayed.
> 2. User identifiers are replaced by upper-case letters.
>
> Version 2.1.1 of VC_View is now available and is compatible with both
> Windows and Linux.
>
> The source distribution (GPL) and a Windows executable are available
> on the Download page at www.sparksure.com.
> (The program functionality is the same as the previous Windows only
> version, 2.0).
Thank you for sharing your work with others.
I have problem www.sparksure.com. In fact, when clicking it, I got
error message "The requested URL /www.sparksure.com was not found on
this server." Any one else has similar problem or just only me?
Thanks.
A. Vo
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: VC_View 2.1.1 is Linux compatible
2010-06-07 17:48 ` Anh Vo
@ 2010-06-07 18:56 ` Yannick Duchêne (Hibou57)
2010-06-08 7:23 ` Maciej Sobczak
0 siblings, 1 reply; 6+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2010-06-07 18:56 UTC (permalink / raw)
Le Mon, 07 Jun 2010 19:48:11 +0200, Anh Vo <anhvofrcaus@gmail.com> a écrit:
> I have problem www.sparksure.com. In fact, when clicking it, I got
> error message "The requested URL /www.sparksure.com was not found on
> this server." Any one else has similar problem or just only me?
> Thanks.
>
> A. Vo
I've just checked http://www.sparksure.com/ is OK at least here.
May be a temporarily DNS trouble from your ISP. Just wait, this will
probably be back for you in a few hours.
--
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: VC_View 2.1.1 is Linux compatible
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)
0 siblings, 2 replies; 6+ messages in thread
From: Maciej Sobczak @ 2010-06-08 7:23 UTC (permalink / raw)
On 7 Cze, 20:56, Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
wrote:
> I have problemwww.sparksure.com. In fact, when clicking it, I got
> > error message "The requested URL /www.sparksure.comwas not found on
> > this server." Any one else has similar problem or just only me?
> > Thanks.
>
> > A. Vo
>
> I've just checkedhttp://www.sparksure.com/is OK at least here.
> May be a temporarily DNS trouble from your ISP. Just wait, this will
> probably be back for you in a few hours.
Not really. It's Google Groups which is messing up links that do not
begin with "http://".
If you use Google Groups, try these two and compare:
1. www.sparksure.com
2. http://www.sparksure.com
This bug (and some others) is there for a long time already, but
apparently nobody cares.
--
Maciej Sobczak * http://www.inspirel.com
YAMI4 - Messaging Solution for Distributed Systems
http://www.inspirel.com/yami4
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: VC_View 2.1.1 is Linux compatible
2010-06-08 7:23 ` Maciej Sobczak
@ 2010-06-08 15:46 ` Anh Vo
2010-06-08 16:40 ` Yannick Duchêne (Hibou57)
1 sibling, 0 replies; 6+ messages in thread
From: Anh Vo @ 2010-06-08 15:46 UTC (permalink / raw)
On Jun 8, 12:23 am, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> On 7 Cze, 20:56, Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
> wrote:
>
> > I have problemwww.sparksure.com. In fact, when clicking it, I got
> > > error message "The requested URL /www.sparksure.comwasnot found on
> > > this server." Any one else has similar problem or just only me?
> > > Thanks.
>
> > > A. Vo
>
> > I've just checkedhttp://www.sparksure.com/isOK at least here.
> > May be a temporarily DNS trouble from your ISP. Just wait, this will
> > probably be back for you in a few hours.
>
> Not really. It's Google Groups which is messing up links that do not
> begin with "http://".
>
> If you use Google Groups, try these two and compare:
>
> 1.www.sparksure.com
> 2.http://www.sparksure.com
>
> This bug (and some others) is there for a long time already, but
> apparently nobody cares.
You are absolutely right. I got it now. Thank you for your help.
Anh Vo
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: VC_View 2.1.1 is Linux compatible
2010-06-08 7:23 ` Maciej Sobczak
2010-06-08 15:46 ` Anh Vo
@ 2010-06-08 16:40 ` Yannick Duchêne (Hibou57)
1 sibling, 0 replies; 6+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2010-06-08 16:40 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2010-06-08 16:40 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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 is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox