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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,cf43be3112b9305
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-29 04:24:00 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.mathworks.com!wn13feed!wn11feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi.com!attbi_s54.POSTED!not-for-mail
From: "Jeff C," <nolongersafeto@userealemailsniff.com>
Newsgroups: comp.lang.ada
References: <EmMnb.35427$dP1.116305@newsc.telia.net>
Subject: Re: ACATS results with Gnat5.01p 
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <zjOnb.39512$mZ5.221000@attbi_s54>
NNTP-Posting-Host: 24.34.215.119
X-Complaints-To: abuse@comcast.net
X-Trace: attbi_s54 1067430239 24.34.215.119 (Wed, 29 Oct 2003 12:23:59 GMT)
NNTP-Posting-Date: Wed, 29 Oct 2003 12:23:59 GMT
Organization: Comcast Online
Date: Wed, 29 Oct 2003 12:23:59 GMT
Xref: archiver1.google.com comp.lang.ada:1806
Date: 2003-10-29T12:23:59+00:00
List-Id: <comp.lang.ada>


"Tapani Rundgren" <NoSpam@telia.com> wrote in message
news:EmMnb.35427$dP1.116305@newsc.telia.net...
> Gnat version GNATLS 5.01p (20031017)
> Redhat Linux 9 with kernel 2.4.20-20.9
> $ cat run.log |  grep 'acats4gnat result'

...stuff deleted.


Thanks...That is useful. I had wanted to run ACATS before I released the RPM
but I knew I'd never
get to it. Do you have similar results for the vanilla gcc 3.3.x series. It
would be interesting to see if 5.01p actually
performs better.

I have found a few cases where the vanilla gcc 3.3.x series compiler would
crash on valid code ant the 5.01p
compiled it successfully but I have done very little in the way of proving
the correctness of the generated code.

By the way, in case anyone is wondering about what we are calling 5.01p here
you can get it from
(Preferably) Adaworld by going to the
http://www.adaworld.com/linksmain.html
page and scrolling down.

If you want to download it from a much much slower site you can go to my
server
http://newserver.thecreems.com/index.php?topic=Programming

There is a little write-up on this site about the way this was put together.