From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: ANN: VC_View 2.1.1 is Linux compatible
Date: Mon, 7 Jun 2010 10:48:11 -0700 (PDT)
Date: 2010-06-07T10:48:11-07:00 [thread overview]
Message-ID: <ed7c28e3-ff73-41b1-aafc-1a0d75583db5@31g2000prc.googlegroups.com> (raw)
In-Reply-To: d50da691-f815-4001-b2fc-031d0be4f3ab@r9g2000vbk.googlegroups.com
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
next prev parent reply other threads:[~2010-06-07 17:48 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 [this message]
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)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox