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: 103376,3aabcec1a34568d6 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news2.google.com!postnews.google.com!m36g2000hse.googlegroups.com!not-for-mail From: roderick.chapman@googlemail.com Newsgroups: comp.lang.ada Subject: Re: ANN: Tokeneer material available Date: Mon, 6 Oct 2008 06:02:43 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <8fdd81e7-1d69-4f7a-9ebd-2e59c1bc7cde@y29g2000hsf.googlegroups.com> <48ea08de$0$23588$4f793bc4@news.tdc.fi> NNTP-Posting-Host: 216.123.178.194 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1223298164 15788 127.0.0.1 (6 Oct 2008 13:02:44 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 6 Oct 2008 13:02:44 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: m36g2000hse.googlegroups.com; posting-host=216.123.178.194; 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.3) Gecko/2008092417 Firefox/3.0.3,gzip(gfe),gzip(gfe) X-HTTP-Via: 1.1 localhost:3128 (squid/2.5.STABLE14) Xref: g2news1.google.com comp.lang.ada:2253 Date: 2008-10-06T06:02:43-07:00 List-Id: On Oct 6, 1:47=A0pm, Niklas Holsti wrote: > roderick.chap...@googlemail.com wrote: > > I'm pleased to announce the immediate availability of the > > Tokeneer project material. =A0Please see > > =A0www.adacore.com/tokeneer > > Lovely work. Congratulations. > > The webpage reports that one defect has been discovered since > delivery, apparently after the full report was written. Can you say > =A0 something about this defect -- why did it happen, and in which > phase of development? > > -- > Niklas Holsti > Tidorum Ltd > niklas holsti tidorum fi > =A0 =A0 =A0 =A0. =A0 =A0 =A0@ =A0 =A0 =A0 . Read the "Overview and Reader's Guide" document - this contains a complete account of how this defect was found and corrected, and a root-cause analysis of how it got there in the first place! - Rod