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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,834610f4f567e94b X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.224.189.75 with SMTP id dd11mr13585241qab.6.1346837144101; Wed, 05 Sep 2012 02:25:44 -0700 (PDT) Received: by 10.236.185.98 with SMTP id t62mr2072432yhm.7.1346837144081; Wed, 05 Sep 2012 02:25:44 -0700 (PDT) Path: da15ni65566254qab.0!nntp.google.com!b19no2646234qas.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 5 Sep 2012 02:25:44 -0700 (PDT) In-Reply-To: <878vcplet2.fsf@mid.deneb.enyo.de> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=82.234.240.115; posting-account=IylMAAoAAAAOWceJ8n80VbFqxGquV1uU NNTP-Posting-Host: 82.234.240.115 References: <5045278b$0$6576$9b4e6d93@newsspool3.arcor-online.net> <878vcplet2.fsf@mid.deneb.enyo.de> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1fb90777-484c-4ccb-8262-4497443d64de@googlegroups.com> Subject: Re: Hi-Lite high integrity showcase and overflow errors From: "yannick.moy" Injection-Date: Wed, 05 Sep 2012 09:25:44 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2012-09-05T02:25:44-07:00 List-Id: > Eventually, you'll have to accept that a lot of Ada marketing material > is poorly prepared at best,=20 Please consider this material is an introduction to a research project. We'= re not talking marketing material for a product. I think that we do a fair = amount of efforts to publicize the goals, the discussions and the current s= tate of the Hi-Lite research project. I invite you to subscribe to the publ= ic mailing-list where we discuss most of the technical issues in this proje= ct if you're interested: http://lists.forge.open-do.org/mailman/listinfo/hi-lite-discuss For a demo of what the prototype can currently handle, see the video demo o= r the User's Guide at: http://www.open-do.org/projects/hi-lite/gnatprove/ > and downright intellectually dishonest at > worst. This is rather sad. I hope I convinced you this is not the case.