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,7875892b95c5219d,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!w35g2000prg.googlegroups.com!not-for-mail From: roderick.chapman@googlemail.com Newsgroups: comp.lang.ada Subject: Re: ANN: Tokeneer - Proofs updated to use User Rules Date: Wed, 29 Apr 2009 00:20:39 -0700 (PDT) Organization: http://groups.google.com Message-ID: <1286a815-8cfc-4ed2-97c6-ece7ec7c8923@w35g2000prg.googlegroups.com> References: ebe82045-62c5-43bb-b52d-54a7f49cb691@q33g2000pra.googlegroups.com NNTP-Posting-Host: 217.205.167.137 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1241055183 30593 127.0.0.1 (30 Apr 2009 01:33:03 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 30 Apr 2009 01:33:03 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: w35g2000prg.googlegroups.com; posting-host=217.205.167.137; posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.9) Gecko/2009040821 Firefox/3.0.9,gzip(gfe),gzip(gfe) X-HTTP-Via: 1.1 bloxx:3128 (squid/2.5.STABLE11) Xref: g2news2.google.com comp.lang.ada:5616 Date: 2009-04-29T00:20:39-07:00 List-Id: On Apr 27, 10:59=A0am, phil thornley wrote: > I have now revised many of the proofs to use User Rules, with a > reduction in unsimplified VCs from 110 to 24. Nice work Phil. We're planning to release an updated Tokeneer package later this year following the GPL release of the SPARK Toolset, so we'll try to include these if that's OK. What licence are your new rules under? - Rod, SPARK Team