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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no 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 06:34:59 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!skynet.be!skynet.be!news.algonet.se!algonet!news-stob.telia.net!telia.net!217.209.241.173.MISMATCH!masternews.telia.net.!newsc.telia.net.POSTED!not-for-mail From: Tapani Rundgren Reply-To: NoSpam@telia.com User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031014 Thunderbird/0.3 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ACATS results with Gnat5.01p References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 29 Oct 2003 14:13:43 GMT NNTP-Posting-Host: 62.20.137.87 X-Complaints-To: abuse@telia.com X-Trace: newsc.telia.net 1067436823 62.20.137.87 (Wed, 29 Oct 2003 15:13:43 CET) NNTP-Posting-Date: Wed, 29 Oct 2003 15:13:43 CET Organization: Telia Internet Xref: archiver1.google.com comp.lang.ada:1807 Date: 2003-10-29T14:13:43+00:00 List-Id: Jeff C, wrote: > "Tapani Rundgren" 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. > Just built Gcc-3.4 -> 20031022 snaptshot Will test with aws-1.3 first > 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. > > > Well, aws-1.3 did build (no xmlada yet), but did not work! Will run acats test now! -- Rundgren dot Tapani at telia dot com