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-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!news3.google.com!news.glorb.com!newscon02.news.prodigy.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: 14 Mar 2005 16:30:14 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <871xau9nlh.fsf@insalien.org> <19167262.fkuVsrGd7i@linux1.krischik.com> NNTP-Posting-Host: shell01-e.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1110835815 18656 69.38.147.31 (14 Mar 2005 21:30:15 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Mon, 14 Mar 2005 21:30:15 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: g2news1.google.com comp.lang.ada:9397 comp.lang.c++:45679 comp.realtime:1478 comp.software-eng:5044 Date: 2005-03-14T16:30:14-05:00 List-Id: comeau@panix.com (Greg Comeau) writes: > In article , > Robert A Duff wrote: > >comeau@panix.com (Greg Comeau) writes: > > > >> >>>> Out of curiosity how old is the ACATS test, and how many > >> >>>> compilers currently pass it? > >> > >> Still looking for this number if anybody has it handy. > > > >Not sure which number you're looking for... > > How many current compiler pass current ACATS test, > at least those that are required. Well, let's see. Off the top of my head, Ada compilers are available from Sofcheck (that's my company), AdaCore (that's the free software version; they make their money by providing support), Greenhills (which uses the SofCheck Ada front end, and supports many embedded targets), Aonix (also uses the SofCheck front end), RR Software, DDC-I, ICSC (sp?), IBM... (Did I forget some?) I don't know which ones pass (the required portion of) the ACATS. My guess is: all of them. (The reason there are ACATS tests that are not required is that some portions of the language standard are optional. The standard has optional annexes for various specialized purposes: real-time, information systems, safety critical, etc.) By the way, SofCheck's current focus is not Ada compilers: we're concentrating on static analysis tools for Java and Ada and eventually other languages such as C++. But we still make most of our revenue from the compiler side of the business. > >By the way, the idea that Ada(tm) compilers had to pass some tests is > >long, long gone. It was a fairly silly idea, anyway, and totally > >unenforceable. Nobody's stopping anybody from producing a compiler for > >Ada-except-some-diffs, or C++-except-some-diffs, for that matter. ...but of course there's a lot of market pressure to produce standard-conforming compilers, for those languages that have official standards (Ada, C, C++, Fortran, Cobol, etc). > Yes, I'm hearing that loud and clear. - Bob