From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,525af7f9614d9624,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!postnews.google.com!r9g2000vbk.googlegroups.com!not-for-mail From: Phil Thornley Newsgroups: comp.lang.ada Subject: ANN: VC_View 2.1.1 is Linux compatible Date: Tue, 1 Jun 2010 09:59:56 -0700 (PDT) Organization: http://groups.google.com Message-ID: NNTP-Posting-Host: 80.177.171.182 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1275411596 28435 127.0.0.1 (1 Jun 2010 16:59:56 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 1 Jun 2010 16:59:56 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: r9g2000vbk.googlegroups.com; posting-host=80.177.171.182; posting-account=Fz1-yAoAAACc1SDCr-Py2qBj8xQ-qC2q User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64; Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR 3.0.30729; Media Center PC 6.0),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:12175 Date: 2010-06-01T09:59:56-07:00 List-Id: 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