Ada 95 Certified Processors List (Complete)

Ada 95

Certified Processors List

(including Redundant and Superceded certificates)

For a listing of certified processors without redundant and superceded ones, click here. For a listing of current certified processors only click here.

GNAT Professional Ada95, Version 4.12, SPARC Solaris Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	A981103e2.1-041
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Claimed Host:	Sun UltraSPARC-II under Solaris 2.5.1 or later
Claimed Target:	Same as host.
Tested Host:	Sun UltraSPARC-II under Solaris 2.5.1
Tested Target:	Same as host.

GNAT Professional Ada95, Version 4.12, Digital Unix Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	A981103e2.1-043
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Claimed Host:	Digital AlphaStation 200 4/233 under Digital Unix 4.0D, 4.0
Claimed Target:	Same as host.
Tested Host:	Digital AlphaStation 200 4/233 under Digital Unix 4.0D
Tested Target:	Same as host.

GNAT Professional Ada95, Version 4.12, Windows NT Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	A981103e2.1-044
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Claimed Host:	Dell Dimension XPS Pro200n (Pentium) under Windows NT 4.0, Windows 2000
Claimed Target:	Same as host.
Tested Host:	Dell Dimension XPS Pro200n (Pentium) under Windows NT 4.0
Tested Target:	Same as host.

GNAT Professional Ada95, Version 4.12, x86 Linux Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	A981103e2.1-045
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Claimed Host:	Dell Dimension XPS R450 (Pentium II) under RedHat Linux 5.1, 6.2
Claimed Target:	Same as host.
Tested Host:	Dell Dimension XPS R450 (Pentium II) under RedHat Linux 5.1 release
Tested Target:	Same as host.

GNAT Professional Ada95, Version 4.12, SPARC Solaris Ada Core Technologies, Inc.

Testing:	Derived
Certificate Number:	A981103e2.1-041D01
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Submission Date:	15 Nov 2001
Expiration Date:	03 Nov 2000
Host:	Sun UltraSPARC-II under Solaris 2.5.1 or later
Target:	Same as host.

GNAT Professional Ada95, Version 4.12, SPARC Solaris cross to VxWorks / M68K family Ada Core Technologies, Inc.

Testing:	Derived
Certificate Number:	A981103e2.1-042D01
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Submission Date:	15 Nov 2001
Expiration Date:	03 Nov 2000
Host:	Sun UltraSPARC-II under Solaris 2.5.1 or later
Target:	DY-4 SVME/DMV-163 (68040) under VxWorks 5.3.1/5.4, Tornado I/II

GNAT Professional Ada95, Version 4.12, Digital Unix Ada Core Technologies, Inc.

Testing:	Derived
Certificate Number:	A981103e2.1-043D01
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Submission Date:	15 Nov 2001
Expiration Date:	03 Nov 2000
Host:	Digital AlphaStation 200 4/233 under Digital Unix 4.0D, 4.0
Target:	Same as host.

GNAT Professional Ada95, Version 4.12, Windows NT Ada Core Technologies, Inc.

Testing:	Derived
Certificate Number:	A981103e2.1-044D01
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Submission Date:	15 Nov 2001
Expiration Date:	03 Nov 2000
Host:	Dell Dimension XPS Pro200n (Pentium) under Windows NT 4.0, Windows 2000
Target:	Same as host.

GNAT Professional Ada95, Version 4.12, x86 Linux Ada Core Technologies, Inc.

Testing:	Derived
Certificate Number:	A981103e2.1-045D01
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Submission Date:	15 Nov 2001
Expiration Date:	03 Nov 2000
Host:	Dell Dimension XPS R450 (Pentium II) under RedHat Linux 5.1, 6.2
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	970618S2.0.1-031
Test Suite:	ACVC 2.0.1
Testing Date:	18 Jun 1997
Expiration Date:	31 Mar 1998
Host:	Toshiba Tecra 740CDT (Pentium) under Linux 1.2.13
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	970618S2.0.1-033
Test Suite:	ACVC 2.0.1
Testing Date:	18 Jun 1997
Expiration Date:	31 Mar 1998
Host:	DEC AlphaStation 200 4/233 (under Digital Unix 4.0B)
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	970618S2.0.1-034
Test Suite:	ACVC 2.0.1
Testing Date:	18 Jun 1997
Expiration Date:	31 Mar 1998
Host:	Motorola PowerStack II Pro4000 (PowerPC) under AIX 4.1.4.0
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	970618S2.0.1-035
Test Suite:	ACVC 2.0.1
Testing Date:	18 Jun 1997
Expiration Date:	31 Mar 1998
Host:	HP 9000 Model C110 under HP-UX 10.10
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	970320S2.0.1-028
Test Suite:	ACVC 2.0.1
Testing Date:	20 Mar 1997
Expiration Date:	31 Mar 1998
Host:	SPARCstation IPX under SunOS 4.1.3
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc.

Testing:	Full
Certificate Number:	961204I2.0.1-008
Test Suite:	ACVC 2.0.1
Testing Date:	04 Dec 1996
Expiration Date:	31 Mar 1998
Host:	Sun SPARCstation 5 under Solaris 2.5.1
Target:	Same as host.

GNAT/RTEMS 4.00 Ada Core Technologies, Inc. (with On-Line Applications Research Corporation)

Testing:	Full
Certificate Number:	970320I2.0.1-029
Test Suite:	ACVC 2.0.1
Testing Date:	20 Mar 1997
Expiration Date:	31 Mar 1998
Host:	SPARCstation 4 under Solaris 2.4
Target:	ERC32 SPARC V7, SPARC Instruction Simulator 2.6a (SIS) executing on the Host (bare machine simulation, using RTEMS 4.0.0)

GNAT 4.00 Ada Core Technologies, Inc. (with Siemens Nixdorf Informationsystems AG)

Testing:	Full
Certificate Number:	970320I2.0.1-027
Test Suite:	ACVC 2.0.1
Testing Date:	20 Mar 1997
Expiration Date:	31 Mar 1998
Host:	Siemens Nixdorf RM 200 under SINIX 5.42
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc. (with Tenon Intersystems)

Testing:	Full
Certificate Number:	970320I2.0.1-032
Test Suite:	ACVC 2.0.1
Testing Date:	20 Mar 1997
Expiration Date:	31 Mar 1998
Host:	Macintosh Performa 6400/180 (PowerPC 603e) under Power MachTen 4.1.0
Target:	Same as host.

GNAT, version 4.12 Ada Core Technologies, Inc. and Digital Equipment Corporation

Testing:	Full
Certificate Number:	980613e2.1-032
Test Suite:	ACVC 2.1
Testing Date:	22 Jul 1998
Expiration Date:	22 Jun 2000
Host:	Digital Personal Workstation 500au under OpenVMS, 7.1
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc. and Digital Equipment Corporation

Testing:	Full
Certificate Number:	970618S2.0.1-032
Test Suite:	ACVC 2.0.1
Testing Date:	18 Jun 1997
Expiration Date:	31 Mar 1998
Host:	Digital DEC 3000 Model 600 under OpenVMS 7.1
Target:	Same as host.

GNATWorks Professional Ada95, Version 4.12, SPARC Solaris cross to VxWorks / M68K family Ada Core Technologies, Inc. and Electric Boat Corporation

Testing:	Full
Certificate Number:	A981103e2.1-042
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Claimed Host:	Sun UltraSPARC-II under Solaris 2.5.1 or later
Claimed Target:	DY-4 SVME/DMV-163 (68040) under VxWorks 5.3.1/5.4, Tornado I/II
Tested Host:	Sun UltraSPARC-II under Solaris, 2.5.1
Tested Target:	DY-4 SVME/DMV-163 (68040) under VxWorks, 5.3.1/Tornado

GNAT Professional Ada95, Version 4.12, SGI IRIX Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Full
Certificate Number:	A981103e2.1-046
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Claimed Host:	SGI Origin 200 under IRIX 6.5
Claimed Target:	Same as host.
Tested Host:	SGI Origin 200 under IRIX 6.5
Tested Target:	Same as host.

GNAT Professional Ada95, Version 4.12, SGI IRIX Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Derived
Certificate Number:	A981103e2.1-046D01
Test Suite:	ACATS 2.1 ACATS Modification List 2.1B
Submission Date:	15 Nov 2001
Expiration Date:	03 Nov 2000
Host:	SGI Origin 200 under IRIX 6.5
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Full
Certificate Number:	961204I2.0.1-006
Test Suite:	ACVC 2.0.1
Testing Date:	04 Dec 1996
Expiration Date:	31 Mar 1998
Host:	SGI Power Indigo 2 under IRIX 6.2
Target:	Same as host.

GNAT 4.00 Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Full
Certificate Number:	961204I2.0.1-007
Test Suite:	ACVC 2.0.1
Testing Date:	04 Dec 1996
Expiration Date:	31 Mar 1998
Host:	SGI O-2 under IRIX 6.3
Target:	Same as host.

GNAT 3.00 Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Full
Certificate Number:	951108I2.0-002
Test Suite:	ACVC 2.0
Testing Date:	08 Nov 1995
Expiration Date:	31 Mar 1998
Host:	SGI Indy under IRIX 5.3
Target:	Same as host.

GNAT 3.00 Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Full
Certificate Number:	951108I2.0-003
Test Suite:	ACVC 2.0
Testing Date:	08 Nov 1995
Expiration Date:	31 Mar 1998
Host:	SGI Indigo-2 under IRIX 5.3
Target:	Same as host.

GNAT 3.00 Ada Core Technologies, Inc. and Silicon Graphics Inc.

Testing:	Full
Certificate Number:	951108I2.0-004
Test Suite:	ACVC 2.0
Testing Date:	08 Nov 1995
Expiration Date:	31 Mar 1998
Host:	SGI Onyx under IRIX 5.3
Target:	Same as host.

ObjectAda for Unix for SPARC/Solaris, Version 7.1.1 Aonix

Testing:	Full
Certificate Number:	980901e2.1-036
Test Suite:	ACVC 2.1
Testing Date:	18 Sep 1998
Expiration Date:	01 Sep 2000
Host:	SPARCstation 20 Model 712MP under Solaris, 2.6
Target:	Same as host.

ObjectAda for Unix for HP-PA RISC/HP-UX, Version 7.1.1 Aonix

Testing:	Full
Certificate Number:	980901e2.1-037
Test Suite:	ACVC 2.1
Testing Date:	18 Sep 1998
Expiration Date:	01 Sep 2000
Host:	HP9000 Model J200 under HP_UX, 10.20
Target:	Same as host.

ObjectAda Real-Time for Unix (SPARC) x PowerPC/Tornado, Version 7.1.1 Aonix

Testing:	Full
Certificate Number:	980901e2.1-038
Test Suite:	ACVC 2.1
Testing Date:	18 Sep 1998
Expiration Date:	01 Sep 2000
Claimed Host:	Sun SPARCstation 20 & UltraServer 1 model 140 under Solaris 2.6
Claimed Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1
Tested Host:	SPARCstation 20 Model 712MP under Solaris, 2.6
Tested Target:	Motorola Ultra PowerPC 604TM under VxWorks, 5.3.1 (Tornado 1.0.1)

ObjectAda Real-Time for Unix (HP-UX) x PowerPC/Tornado, Version 7.1.1 Aonix

Testing:	Derived
Certificate Number:	980901e2.1-038D01
Test Suite:	ACVC 2.1
Submission Date:	17 Mar 1999
Expiration Date:	01 Sep 2000
Claimed Host:	HP 9000 Models 770, 778, 780 under HP-UX 10.20
Claimed Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1
Tested Host:	HP 9000 Models 770 and 778 under HP-UX 10.20
Tested Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1

ObjectAda Real-Time for Windows (NT) x PowerPC/Tornado, Version 7.1.1 Aonix

Testing:	Derived
Certificate Number:	980901e2.1-038D02
Test Suite:	ACVC 2.1
Submission Date:	17 Mar 1999
Expiration Date:	01 Sep 2000
Claimed Host:	Windows NT 4.0, Intel 80486 or higher
Claimed Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1
Tested Host:	Dell OptiPlex GX1, Windows NT 4.0, Service Pack 3, Intel 80586
Tested Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1

ObjectAda Real-Time for Unix (SPARC) x PowerPC/Tornado, Version 7.1.1 Aonix

Testing:	Derived
Certificate Number:	980901e2.1-038D03
Test Suite:	ACVC 2.1
Submission Date:	17 Mar 1999
Expiration Date:	01 Sep 2000
Claimed Host:	Sun SPARCstation 20 & UltraServer 1 model 140 under Solaris 2.6
Claimed Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1
Tested Host:	Sun SPARCstation 20 under Solaris 2.6
Tested Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), MVME1603, and MVME1604 under VxWorks 5.3.1/Tornado 1.0.1

ObjectAda for Windows, Version 7.1.2 Aonix

Testing:	Full
Certificate Number:	980818e2.1-033
Test Suite:	ACVC 2.1
Testing Date:	28 Aug 1998
Expiration Date:	18 Aug 2000
Host:	Gateway G6-200 (200Mhz Pentium Pro) under Windows NT 4.0
Target:	Same as host.

ObjectAda for Windows, Version 7.1.2 Aonix

Testing:	Full
Certificate Number:	980818e2.1-034
Test Suite:	ACVC 2.1
Testing Date:	28 Aug 1998
Expiration Date:	18 Aug 2000
Host:	Micron 100Mhz Pentium under Windows 95, 4.00.950a
Target:	Same as host.

ObjectAda Real-Time for Intel / ETS, Version 7.1.2 Aonix

Testing:	Full
Certificate Number:	980818e2.1-035
Test Suite:	ACVC 2.1
Testing Date:	28 Aug 1998
Expiration Date:	18 Aug 2000
Host:	Gateway G6-200 (200Mhz Pentium Pro) under Windows NT 4.0
Target:	Compuadd 466e/Dx2 (80486) under Phar Lap Embedded Tool Set (ETS), 9.1

ObjectAda Real Time for SPARC x PowerPC VxWorks, Version 7.1 Aonix

Testing:	Full
Certificate Number:	970703S2.0.1-053
Test Suite:	ACVC 2.0.1
Testing Date:	03 Jul 1997
Expiration Date:	31 Mar 1998
Claimed Host:	Sun SPARCstation 20 & UltraServer 1 model 140 (under Solaris 2.5)
Claimed Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), and MVME1604-032 (under VxWorks 5.3.1)
Tested Host:	Sun UltraServer 1 model 140, under Solaris 2.5
Tested Target:	Motorola Ultra PowerPC 604TM, UB604-133P16 (under VxWorks 5.3.1)

ObjectAda for Windows, 7.0 embedded version Aonix

Testing:	Full
Certificate Number:	970204S2.0.1-009
Test Suite:	ACVC 2.0.1
Testing Date:	04 Feb 1997
Expiration Date:	31 Mar 1998
Host:	Gateway G6-200 (200 Mhz Pentium Pro), under Windows NT, 4.0
Target:	CompuAdd 325 (25 Mhz 386) on bare machine

ObjectAda Real-Time for Unix Cross PowerPC/VxWorks, version 7.1 for SPARC systems Aonix

Testing:	Derived
Certificate Number:	970703S2.0.1-053D01
Test Suite:	ACVC 2.0.1
Submission Date:	29 Sep 1997
Expiration Date:	31 Mar 1998
Host:	Sun SPARCstation 20 & UltraServer 1 model 140 (under Solaris 2.5)
Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), and MVME1604-032 (under VxWorks 5.3.1)

ObjectAda Real-Time for Unix Cross PowerPC/VxWorks, version 7.1 for HP-PA systems Aonix

Testing:	Derived
Certificate Number:	970703S2.0.1-053D02
Test Suite:	ACVC 2.0.1
Submission Date:	29 Sep 1997
Expiration Date:	31 Mar 1998
Host:	HP 9000 Models 715, 778, & 780 (under HP-UX 10.10 & 10.20)
Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), and MVME1604-032 (under VxWorks 5.3.1)

ObjectAda Real-Time for Windows Cross PowerPC/VxWorks, version 7.1 Aonix

Testing:	Derived
Certificate Number:	970703S2.0.1-053D03
Test Suite:	ACVC 2.0.1
Submission Date:	29 Sep 1997
Expiration Date:	31 Mar 1998
Host:	ALR OptimaPro MT (200 MHz Pentium Pro) (under Windows NT 4.0)
Target:	Motorola Ultra PowerPC 603e (UB603E-100P16) & 604 (UB604-133P16), and MVME1604-032 (under VxWorks 5.3.1)

ObjectAda for Unix for HP_PA RISC/HP-UX, Version 7.1 Aonix

Testing:	Derived
Certificate Number:	960710S2.0.1-001D02
Test Suite:	ACVC 2.0.1
Submission Date:	10 Jan 1997
Expiration Date:	31 Mar 1998
Host:	HP 9000/715, HP 9000/778, HP 9000/780; Host Operating System: HP-UX 10.10 and HP-UX 10.20
Target:	Same as host.

ObjectAda for Unix for SPARC/Solaris, Version 7.1 Aonix

Testing:	Derived
Certificate Number:	960820S2.0.1-002D02
Test Suite:	ACVC 2.0.1
Submission Date:	10 Jan 1997
Expiration Date:	31 Mar 1998
Host:	Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer all models, under Sun OS 5.5, Solaris 2.5
Target:	Same as host.

7000 OA ObjectAda for Unix for HP_PA RISC/HP-UX, Version 7.0 Aonix

Testing:	Derived
Certificate Number:	960710S2.0.1-001D01
Test Suite:	ACVC 2.0.1
Submission Date:	03 Dec 1996
Expiration Date:	31 Mar 1998
Host:	HP9000 Series 700, J-Class, B-Class and C-Class all Models; HP-UX1-.01, HP-UX 10.10, HP-UX 10.20
Target:	Same as host.

5000 OA ObjectAda for Unix for SPARC/Solaris, Version 7.0 Aonix

Testing:	Derived
Certificate Number:	960820S2.0.1-002D01
Test Suite:	ACVC 2.0.1
Submission Date:	03 Dec 1996
Expiration Date:	31 Mar 1998
Host:	Sun SPARCstation and SPARCserver all models, Sun UltraStation and UltraServer all models, under Sun OS 5.5, Solaris 2.5
Target:	Same as host.

AdaMagic with C Intermediate, version 3.92 Averstar, Inc. (now SofCheck, Inc.)

Testing:	Full
Certificate Number:	A990209E2.1-048
Test Suite:	ACATS 2.1 ACATS Modification List 2.1F
Testing Date:	11 Feb 1999
Expiration Date:	11 Feb 2001
Host:	Sun SPARCstation 10 Solaris 2.5 with gcc 2.7.2
Target:	Same as host.

AdaMagic for SHARC, version 3.92 Averstar, Inc. (now SofCheck, Inc.)

Testing:	Full
Certificate Number:	A990209E2.1-049
Test Suite:	ACATS 2.1 ACATS Modification List 2.1F
Testing Date:	11 Feb 1999
Expiration Date:	11 Feb 2001
Host:	Micron Millenia PII400 (400 MHz Pentium II) Windows NT (Build 1381; Service Pack 3)
Target:	Analog Devices Visual DSP 4.0 under PowerMAX OS, 4.2; Analog Devices SHARC 21060 Eonic Virtuoso kernel, version 4.0

Concurrent MAXAda 3.1 for PowerPC604 Concurrent Computer Corporation

Testing:	Full
Certificate Number:	A981215e2.1-047
Test Suite:	ACATS 2.1 ACATS Modification List 2.1C
Testing Date:	01 Dec 1998
Expiration Date:	03 Nov 2000
Host:	Concurrent Power Hawk 640 (PowerPC 604, Dual Processor) under PowerMAX OS, 4.2
Target:	Same as host.

MAXAda Version 1.2 Concurrent Computer Corporation

Testing:	Full
Certificate Number:	970703S2.0.1-052
Test Suite:	ACVC 2.0.1
Testing Date:	03 Jul 1997
Expiration Date:	31 Mar 1998
Claimed Host:	PowerMAXION 6400 (1-8 CPUs); NightHawk 6800 (1-8 CPUs); NightHawk 6800 Turbo (1-8 CPUs); PowerHawk 610 & 620; PowerStack 210, 230, & 250; Motorola MVME1604 (under PowerMAX OS 4.1)
Claimed Target:	Any host.
Tested Host:	PowerMAXION 6400 (2 CPUs), under PowerMAX OS 4.1
Tested Target:	Same as host.

MAXAda Version 1.2 Concurrent Computer Corporation

Testing:	Derived
Certificate Number:	970703S2.0.1-052D01
Test Suite:	ACVC 2.0.1
Submission Date:	21 Jul 1997
Expiration Date:	31 Mar 1998
Host:	PowerMAXION 6400 (1-8 CPUs); NightHawk 6800 (1-8 CPUs); NightHawk 6800 Turbo (1-8 CPUs); PowerHawk 610 & 620; PowerStack 210, 230, & 250; Motorola MVME1604 (under PowerMAX OS 4.1)
Target:	Any host.

DDC-I SCORE Sun/Solaris Ada Compiler System, Version 2.2 for 80x86 DDC-I, Inc.

Testing:	Derived
Certificate Number:	A000118E2.2-004D01
Test Suite:	ACATS 2.4 ACATS Modification List 2.4D
Submission Date:	23 Aug 2001
Expiration Date:	23 Aug 2003
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	Intel 80386 or later (including compatibles)
Tested Host:	UltraSPARC5 under Solaris, 2.7
Tested Target:	Acer Acros Pentium 3, 166 MHZ (bare)

DDC-I SCORE PC/Windows NT Ada Compiler System, Version 2.2 for 80x86 DDC-I, Inc.

Testing:	Derived
Certificate Number:	A000118E2.2-004D02
Test Suite:	ACATS 2.4 ACATS Modification List 2.4D
Submission Date:	23 Aug 2001
Expiration Date:	23 Aug 2003
Claimed Host:	PC running Windows NT 4.0 or later
Claimed Target:	Intel 80386 or later (including compatibles)
Tested Host:	"Unique" AMD Athlon 500MHZ PC running Windows NT 4.0 service pack 6
Tested Target:	Acer Acros Pentium 3, 166 MHZ (bare)

DDC-I SCORE Sun/Solaris Ada Compiler System, Version 2.2 DDC-I, Inc.

Testing:	Derived
Certificate Number:	A991113E2.2-001D01
Test Suite:	ACATS 2.4 ACATS Modification List 2.4D
Submission Date:	23 Aug 2001
Expiration Date:	23 Aug 2003
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	Same as host.
Tested Host:	UltraSPARC5 under Solaris, 2.7
Tested Target:	Same as host.

DDC-I SCORE Sun/Solaris Ada Compiler System, Version 2.2 for PowerPC DDC-I, Inc.

Testing:	Derived
Certificate Number:	A991113E2.2-002D01
Test Suite:	ACATS 2.4 ACATS Modification List 2.4D
Submission Date:	23 Aug 2001
Expiration Date:	23 Aug 2003
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	PowerPCs of the 603e family
Tested Host:	UltraSPARC5 under Solaris, 2.7
Tested Target:	CETIA CVME60x (PowerPC 603e) (bare)

DDC-I SCORE PC/Windows NT Ada Compiler System, Version 2.2 for PowerPC DDC-I, Inc.

Testing:	Derived
Certificate Number:	A991113E2.2-002D02
Test Suite:	ACATS 2.4 ACATS Modification List 2.4D
Submission Date:	23 Aug 2001
Expiration Date:	23 Aug 2003
Claimed Host:	PC running Windows NT 4.0 or later
Claimed Target:	PowerPCs of the 603e family
Tested Host:	"Unique" AMD Athlon 500MHZ PC running Windows NT 4.0 service pack 6
Tested Target:	CETIA CVME60x (PowerPC 603e) (bare)

DDC-I SCORE Ada Compiler System, Version 1.1, SPARC/FM486 DDC-I, Inc.

Testing:	Full
Certificate Number:	A000118E2.2-003
Test Suite:	ACATS 2.2 ACATS Modification List 2.2H
Testing Date:	18 Jan 2000
Expiration Date:	18 Jan 2002
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	Intel 80386 or later (including compatibles)
Tested Host:	UltraSPARC5 under Solaris, 2.5.1
Tested Target:	piSBC 486/125 (Intel 80486) (bare)

DDC-I SCORE Ada Compiler System, Version 1.1, SPARC/FM586 DDC-I, Inc.

Testing:	Full
Certificate Number:	A000118E2.2-004
Test Suite:	ACATS 2.2 ACATS Modification List 2.2H
Testing Date:	18 Jan 2000
Expiration Date:	18 Jan 2002
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	Intel 80386 or later (including compatibles)
Tested Host:	UltraSPARC5 under Solaris, 2.5.1
Tested Target:	Zitech Pro, Pentium 100 (bare)

DDC-I SCORE Ada Compiler System, Version 1.0A, SPARC/FM586 DDC-I, Inc.

Testing:	Derived
Certificate Number:	A000118E2.2-003D01
Test Suite:	ACATS 2.2 ACATS Modification List 2.2H
Submission Date:	19 Sep 2001
Expiration Date:	18 Jan 2002
Host:	Sun SPARC running Solaris 2.5.1 or later
Target:	Intel 80386 or later (including compatibles)

DDC-I SCORE Ada Compiler System, Version 1.0A, SPARC/FM586 DDC-I, Inc.

Testing:	Derived
Certificate Number:	A000118E2.2-004D03
Test Suite:	ACATS 2.2 ACATS Modification List 2.2H
Submission Date:	19 Sep 2001
Expiration Date:	18 Jan 2002
Host:	Sun SPARC running Solaris 2.5.1 or later
Target:	Intel 80386 or later (including compatibles)

DDC-I SCORE Ada Compiler System, Version 1.0A, SPARC/Solaris DDC-I, Inc.

Testing:	Full
Certificate Number:	A991113E2.2-001
Test Suite:	ACATS 2.2 ACATS Modification List 2.2F
Testing Date:	13 Nov 1999
Expiration Date:	12 Nov 2001
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	Same as host.
Tested Host:	UltraSPARC5 under Solaris, 2.5.1
Tested Target:	Same as host.

DDC-I SCORE Ada Compiler System, Version 1.0A, SPARC/Solaris to PowerPC DDC-I, Inc.

Testing:	Full
Certificate Number:	A991113E2.2-002
Test Suite:	ACATS 2.2 ACATS Modification List 2.2F
Testing Date:	13 Nov 1999
Expiration Date:	12 Nov 2001
Claimed Host:	Sun SPARC running Solaris 2.5.1 or later
Claimed Target:	PowerPCs of the 603e family
Tested Host:	UltraSPARC5 under Solaris, 2.5.1
Tested Target:	CETIA CVME60x (PowerPC 603e)(bare)

DDC-I SCORE Ada Compiler System, Version 1.0A, SPARC/Solaris DDC-I, Inc.

Testing:	Derived
Certificate Number:	A991113E2.2-001D02
Test Suite:	ACATS 2.2 ACATS Modification List 2.2F
Submission Date:	19 Sep 2001
Expiration Date:	12 Nov 2001
Host:	Sun SPARC running Solaris 2.5.1 or later
Target:	Same as host.

DDC-I SCORE Ada Compiler System, Version 1.0A, SPARC/Solaris to PowerPC DDC-I, Inc.

Testing:	Derived
Certificate Number:	A991113E2.2-002D03
Test Suite:	ACATS 2.2 ACATS Modification List 2.2F
Submission Date:	19 Sep 2001
Expiration Date:	12 Nov 2001
Host:	Sun SPARC running Solaris 2.5.1 or later
Target:	PowerPCs of the 603e family

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-004
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	PowerPC 860 family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Motorola MPC860ADS under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 68K Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-005
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	Motorola 68040 family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Motorola MVME 162(68040) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 MIPS Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-006
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	MIPS R4000 family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Algorithmics P-4000i (R4600) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-007
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	PC or compatible running Solaris 2.6 or later
Claimed Target:	Same as host.
Tested Host:	EIS Super Developer PII (Pentium 2) under Solaris, 2.6
Tested Target:	Same as host.

Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-008
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	PC or compatible running Windows NT 4.0 or later
Claimed Target:	Intel Pentium family running VxWorks 5.3/Tornado or later
Tested Host:	Dell Dimension XPS H233 under Windows NT, 4.0
Tested Target:	Dynatem DPC1 (Pentium) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-009
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	Intel Pentium family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Dynatem DPC1 (Pentium) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-010
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	PowerPC 60x/750/7400 family running INTEGRITY 1.0 or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Motorola MVME 1603 (PowerPC 603) under VelOSity 1.0

Green Hills Optimizing Ada95 68K Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-011
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	PC or compatible running Windows NT 4.0 or later
Claimed Target:	Motorola 68040 family running VxWorks 5.3/Tornado or later
Tested Host:	Dell Dimension XPS H233 under Windows NT, 4.0
Tested Target:	Motorola MVME162(68040) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-012
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	PC or compatible running Windows NT 4.0 or later
Claimed Target:	PowerPC 603/604 family running VxWorks 5.3/Tornado or later
Tested Host:	Dell Dimension XPS H233 under Windows NT, 4.0
Tested Target:	Motorola MVME 2604 (PowerPC 604) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 SPARC Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-015
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	VxSim 5.3/Tornado or later (VxWorks Simulator executing on the host)
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	VxSim 5.3/Tornado Simulator (VxWorks Simulator executing on the host)

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-016
Test Suite:	ACVC 2.1
Testing Date:	29 May 1998
Expiration Date:	03 May 2000
Claimed Host:	PC or compatible running Windows NT 4.0 or later
Claimed Target:	PowerPC 750/7400 family running VxWorks 5.3/Tornado or later
Tested Host:	Dell Dimension XPS H233 under Windows NT, 4.0
Tested Target:	Motorola MVME2700 (PowerPC 750) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 Mips Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-013
Test Suite:	ACVC 2.1
Testing Date:	27 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	MIPS R3000 family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	IDT 79S381 (R3081) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8E Green Hills Software, Inc.

Testing:	Full
Certificate Number:	980403e2.1-014
Test Suite:	ACVC 2.1
Testing Date:	27 May 1998
Expiration Date:	03 May 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	PowerPC 750/7400 family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Motorola MVME2700 (PowerPC 750) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 SPARC Compiler, 1.8.8D Green Hills Software, Inc.

Testing:	Full
Certificate Number:	971112e2.1-001
Test Suite:	ACVC 2.1
Testing Date:	11 Feb 1998
Expiration Date:	31 Mar 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	Same as host.
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Same as host.

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8D Green Hills Software, Inc.

Testing:	Full
Certificate Number:	971112e2.1-002
Test Suite:	ACVC 2.1
Testing Date:	11 Feb 1998
Expiration Date:	31 Mar 2000
Claimed Host:	Sun SPARC running Solaris 2.5 or later
Claimed Target:	PowerPC 603/604 family running VxWorks 5.3/Tornado or later
Tested Host:	Sun SPARCstation 5 under Solaris, 2.5
Tested Target:	Motorola MVME 2604 (PowerPC 604) under VxWorks 5.3/Tornado

Green Hills Optimizing Ada95 x86/Pentium Compiler, 1.8.8D Green Hills Software, Inc.

Testing:	Full
Certificate Number:	971112e2.1-003
Test Suite:	ACVC 2.1
Testing Date:	11 Feb 1998
Expiration Date:	31 Mar 2000
Claimed Host:	PC or compatible running Windows NT 4.0 or later
Claimed Target:	Same as host.
Tested Host:	Dell Dimension XPS Pro 200n under Windows NT, 4.0
Tested Target:	Same as host.

Green Hills Optimizing Ada95 SPARC Compiler, 1.8.8D Green Hills Software, Inc.

Testing:	Derived
Certificate Number:	971112e2.1-001D01
Test Suite:	ACVC 2.1
Submission Date:	14 Nov 2001
Expiration Date:	31 Mar 2000
Host:	Sun SPARC running Solaris 2.5 or later
Target:	Same as host.

Green Hills Optimizing Ada95 PowerPC Compiler, 1.8.8D Green Hills Software, Inc.

Testing:

Derived