From: Phil Thornley <phil.jpthornley@googlemail.com>
Subject: ANN: VC_View 2.1.1 is Linux compatible
Date: Tue, 1 Jun 2010 09:59:56 -0700 (PDT)
Date: 2010-06-01T09:59:56-07:00 [thread overview]
Message-ID: <d50da691-f815-4001-b2fc-031d0be4f3ab@r9g2000vbk.googlegroups.com> (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
next reply other threads:[~2010-06-01 16:59 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-01 16:59 Phil Thornley [this message]
2010-06-07 17:48 ` ANN: VC_View 2.1.1 is Linux compatible 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)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox