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-Thread: 103376,703c4f68db81387d X-Google-Thread: 109fba,703c4f68db81387d X-Google-Thread: 115aec,703c4f68db81387d X-Google-Thread: f43e6,703c4f68db81387d X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.glorb.com!newscon02.news.prodigy.com!prodigy.net!newsfeed.frii.net!newsfeed.frii.net!195.114.231.41.MISMATCH!feeder.news-service.com!post.news-service.com!news1.surfino.com!not-for-mail Message-Id: <19167262.fkuVsrGd7i@linux1.krischik.com> From: Martin Krischik Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Reply-To: martin@krischik.com Date: Sun, 13 Mar 2005 18:27:45 +0100 References: <871xau9nlh.fsf@insalien.org> <1462853.JgxLXPrZ7W@linux1.krischik.com> Organization: None User-Agent: KNode/0.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Complaints-To: abuse@surfino.com NNTP-Posting-Host: 83.169.175.19 (83.169.175.19) NNTP-Posting-Date: Sun, 13 Mar 2005 19:00:17 +0100 X-Trace: e5fbd42347fb1f60c0ab602855 Xref: g2news1.google.com comp.lang.ada:9325 comp.lang.c++:45437 comp.realtime:1425 comp.software-eng:4986 Date: 2005-03-13T18:27:45+01:00 List-Id: Greg Comeau wrote: > In article , > Martin Dowie wrote: >>Greg Comeau wrote: >>> In article <1462853.JgxLXPrZ7W@linux1.krischik.com>, >>> Martin Krischik wrote: >>>>And they havn't got 100% compliance - as the Ada compiler vendors >>>>have. And they can indedd claim that - Ada has the ACATS test - >>>>pass the test you are 100% compliant - fail the thest and (almost) >>>>no customer will consider your offer. >>> >>> Out of curiosity how old is the ACATS test, and how many >>> compilers currently pass it? >> >>The latest (I believe) is dated 2002 but will certainly be getting >>updated to test Ada2005. See http://www.ada-auth.org/acats.html > > Ok. > >>All compiler vendors claim some level of conformance > > In what ways? This sounds like a different statement > than I thought others were saying/implying. The Ada standart consists of the core language and optional features like real-time system and distributed systems. >> and some publish their results. > Again, seems a different statement. You might want to read the first chapter of http://www.ada-auth.org. Usualy the test is done by third part laboratories and then the vendor publish "pass" for there major releases - but they might not publish for intermediate releases :-( . BTW: In the past it was Ada(tm) and only compilers with pass the test where allowed to use the trademark Ada. For better or worse that is gone now - and with it the need for a vendor to publish the result. Also: The test is OpenSource and it is even part the gcc source tree - so if you have the gcc sources handy you can just run the test yourself. >>Also, all compiler vendors will have a large number of >>suplimentary tests of there own. These tend to include >>propriatory code from customers, so usually aren't published. > > I'm sure. > > I'm also sure this is all workable, and to work well. > As I'm sure it's not the only way to do it (not saying > you said it was, just adding to the table). The important point that it puts more pressure on the vendors as most customers won't consider a compiler which won't pass the test. Martin -- mailto://krischik@users.sourceforge.net Ada programming at: http://ada.krischik.com