comp.lang.ada
 help / color / mirror / Atom feed
From: Tapani Rundgren <NoSpam@telia.com>
Subject: Re: ACATS results with Gnat5.01p
Date: Wed, 29 Oct 2003 14:13:43 GMT
Date: 2003-10-29T14:13:43+00:00	[thread overview]
Message-ID: <rWPnb.35447$dP1.116437@newsc.telia.net> (raw)
In-Reply-To: <zjOnb.39512$mZ5.221000@attbi_s54>

Jeff C, wrote:
> "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.
> 
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




  reply	other threads:[~2003-10-29 14:13 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-10-29 10:10 ACATS results with Gnat5.01p Tapani Rundgren
2003-10-29 12:23 ` Jeff C,
2003-10-29 14:13   ` Tapani Rundgren [this message]
2003-10-29 15:16     ` Duncan Sands
2003-10-30  1:11       ` Jeff C,
2003-10-30  7:37         ` Duncan Sands
2003-10-30 11:50           ` Jeff C,
2003-10-29 17:49   ` Stephen Leake
2003-10-29 18:03     ` Stephane Richard
2003-10-29 19:28       ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox