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.6 required=5.0 tests=BAYES_00,INVALID_MSGID,
	SUBJ_ALL_CAPS,TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28c12105974f00f1,start
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: ADA CORE TECHNOLOGIES ANNOUNCES FOUR MORE 100% VALIDATIONS
Date: 1997/07/03
Message-ID: <dewar.867978215@merv>#1/1
X-Deja-AN: 254408922
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-07-03T00:00:00+00:00
List-Id: <comp.lang.ada>


Ada Core Technologies is pleased to announce the awarding of four more
validation certificates (numbers 32-35) for the following targets

    Host:  Digital DEC 3000 Model 600
 Host OS:   (under OpenVMS 7.1)

    Host:  DEC AlphaStation 200 4/233
 Host OS:   (under Digital Unix 4.0B)

    Host:  Motorola Powerstack II Pro4000 (PowerPC)
 Host OS:   (under AIX 4.1.4.0)

    Host:  HP 9000 Model C110
 Host OS:   (under HP-UX 10.10)

Full details of these validations should be posted at the Ada IC site
early next week. As with all validations of GNAT, these are 100% 
validations:

   100% of the core tests
   100% of all special needs annex tests

   Total number of unsupported tests in all categories is zero

For information on these and other validated compilers, send email to
sales@gnat.com, or contact us at 1-212-620-7300 (FAX: 1-212-807-0162)
GNAT is now 100% validated on 11 separate platforms:

   Digital OpenVMS Alpha
   Digital Unix Alpha
   Embedded Sparc with RTEMS
   HPUX
   Linux x86
   Mac (Machten)
   Power PC
   SGI Irix
   SNI Sinix
   Sun Sparc Solaris
   Sun Sparc SunOS

Robert Dewar
Ada Core Technologies