Ada 95
Certified Processors List
For a listing of all certified processors, including 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.
Claim Source:A981103e2.1-041D01
Tested Host:Sun UltraSPARC-II under Solaris 2.5.1
Tested Target:Same as host.
Supercedes:961204I2.0.1-008

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.
Claim Source:A981103e2.1-043D01
Tested Host:Digital AlphaStation 200 4/233 under Digital Unix 4.0D
Tested Target:Same as host.
Supercedes:970618S2.0.1-033

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.
Claim Source:A981103e2.1-044D01
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.
Claim Source:A981103e2.1-045D01
Tested Host:Dell Dimension XPS R450 (Pentium II) under RedHat Linux 5.1 release
Tested Target:Same as host.
Supercedes:970618S2.0.1-031

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/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.
Supercedes:970618S2.0.1-032

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
Claim Source:A981103e2.1-042D01
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.
Claim Source:A981103e2.1-046D01
Tested Host:SGI Origin 200 under IRIX 6.5
Tested Target:Same as host.
Supercedes:961204I2.0.1-007

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.
Supercedes:951108I2.0-003

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.

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.
Supercedes:960820S2.0.1-002

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.
Supercedes:960710S2.0.1-001

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
Claim Source:980901e2.1-038D03
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)
Supercedes:970703S2.0.1-053

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
Supercedes:970703S2.0.1-053D02

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
Supercedes:970703S2.0.1-053D03

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.
Supercedes:951218W2.0-005

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.
Supercedes:951219W2.0-006

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 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

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.
Supercedes:970703S2.0.1-052

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)
Claim Source:A000118E2.2-003D01
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)
Claim Source:A000118E2.2-004D03
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/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.
Claim Source:A991113E2.2-001D02
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
Claim Source:A991113E2.2-002D03
Tested Host:UltraSPARC5 under Solaris, 2.5.1
Tested Target:CETIA CVME60x (PowerPC 603e)(bare)

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
Claim Source:980403e2.1-004D01
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
Claim Source:980403e2.1-005D01
Tested Host:Sun SPARCstation 5 under Solaris, 2.5
Tested Target:Motorola MVME 162(68040) under VxWorks 5.3/Tornado
Supercedes:970313S2.0.1-023

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
Claim Source:980403e2.1-006D01
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.
Claim Source:980403e2.1-007D01
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
Claim Source:980403e2.1-008D01
Tested Host:Dell Dimension XPS H233 under Windows NT, 4.0
Tested Target:Dynatem DPC1 (Pentium) under VxWorks 5.3/Tornado
Supercedes:970313S2.0.1-018

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
Claim Source:980403e2.1-009D01
Tested Host:Sun SPARCstation 5 under Solaris, 2.5
Tested Target:Dynatem DPC1 (Pentium) under VxWorks 5.3/Tornado
Supercedes:970313S2.0.1-020

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
Claim Source:980403e2.1-010D01
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
Claim Source:980403e2.1-011D01
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
Claim Source:980403e2.1-012D01
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)
Claim Source:980403e2.1-015D01
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
Claim Source:980403e2.1-016D01
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
Claim Source:980403e2.1-013D01
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
Claim Source:980403e2.1-014D01
Tested Host:Sun SPARCstation 5 under Solaris, 2.5
Tested Target:Motorola MVME2700 (PowerPC 750) under VxWorks 5.3/Tornado
Supercedes:961106S2.0.1-014

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.
Claim Source:971112e2.1-001D01
Tested Host:Sun SPARCstation 5 under Solaris, 2.5
Tested Target:Same as host.
Supercedes:970313S2.0.1-026

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
Claim Source:971112e2.1-002D01
Tested Host:Sun SPARCstation 5 under Solaris, 2.5
Tested Target:Motorola MVME 2604 (PowerPC 604) under VxWorks 5.3/Tornado
Supercedes:970313S2.0.1-021

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.
Claim Source:971112e2.1-003D01
Tested Host:Dell Dimension XPS Pro 200n under Windows NT, 4.0
Tested Target:Same as host.

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

Testing:Full
Certificate Number:970313S2.0.1-019
Test Suite:ACVC 2.0.1
Testing Date:13 Mar 1997
Expiration Date:31 Mar 1998
Host:Dell Dimension XPS Pro200n (Windows NT 4.0)
Target:Heurikon Baja (R4700), VxWorks 5.3 Tornado

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

Testing:Full
Certificate Number:970313S2.0.1-022
Test Suite:ACVC 2.0.1
Testing Date:13 Mar 1997
Expiration Date:31 Mar 1998
Host:Sun SPARC Station 5 under Solaris 2.5
Target:Lockheed Martin RAD6000 (VxWorks 5.2)
Supercedes:961106S2.0.1-012

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

Testing:Full
Certificate Number:970313S2.0.1-024
Test Suite:ACVC 2.0.1
Testing Date:13 Mar 1997
Expiration Date:31 Mar 1998
Host:Sun SPARC Station 5 under Solaris 2.5
Target:Heurikon Baja (R4700), VxWorks 5.3 Tornado
Supercedes:961106S2.0.1-016

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

Testing:Full
Certificate Number:970313S2.0.1-025
Test Suite:ACVC 2.0.1
Testing Date:13 Mar 1997
Expiration Date:31 Mar 1998
Host:Sun SPARC Station 5 under Solaris 2.5
Target:Heurikon Malibu (Mips R3081) (VxWorks 5.2)
Supercedes:961106S2.0.1-015

AdaMagic, Version 2.0
Intermetrics (now SofCheck, Inc.)

Testing:Full
Certificate Number:951015W2.0-001
Test Suite:ACVC 2.0
Testing Date:17 Oct 1995
Expiration Date:31 Mar 1998
Host:SPARCstation 5, SunOS 4.1.4
Target:Raytheon Extended Weapons Control Computer (EWCC) on a bare machine

Academic AdaMagic, Version 1.1
Intermetrics (now SofCheck, Inc.)

Testing:Derived
Certificate Number:951218W2.0-005DO1
Test Suite:ACVC 2.0
Submission Date:05 Dec 1996
Expiration Date:31 Mar 1998
Host:Any computer system comprising: any that executes the Intel 80386, 80486, or Pentium instruction set; FPU: optional; Memory: 8 MB RAM; OS: Windows NT 3.5, 3.5.1, and 4.0; Disk: 13 MB space on the hard drive
Target:Same as host.

Academic AdaMagic, Version 1.1
Intermetrics (now SofCheck, Inc.)

Testing:Derived
Certificate Number:951218W2.0-006DO1
Test Suite:ACVC 2.0
Submission Date:05 Dec 1996
Expiration Date:31 Mar 1998
Host:Any computer system comprising: any that executes the Intel 80386, 80486, or Pentium instruction set; FPU: optional; Memory: 8 MB RAM; OS: Windows 95; Disk: 13 MB space on the hard drive
Target:Same as host.

Academic AdaMagic, Version 1.0
Intermetrics (now SofCheck, Inc.)

Testing:Derived
Certificate Number:960820S2.0.1-001DO1
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-UX 10.01, HP-UX 10.10, HP-UX 10.20
Target:Same as host.

Academic AdaMagic, Version 1.0
Intermetrics (now SofCheck, Inc.)

Testing:Derived
Certificate Number:960820S2.0.1-002DO1
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 for Sun OS 5.5, Solaris 2.5
Target:Same as host.

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-042
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:Sun SparcServer 20/61, under Solaris 2.3
Target:Same as host.

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-043
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:Sun SparcServer 20/61, under Solaris 2.3
Target:ADI run21k v1.2 Instruction-level Simulator of Analog Devices ADSP 21020, executing on the host (bare machine simulation)

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-044
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:HP 9000 Model 730, under HP-UX 10.20
Target:Same as host.

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-045
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:HP 9000 Model 730, under HP-UX 10.20
Target:HP 9000 Model 742rt VMEbus board (under HP-RT Version 3.0 A.03.00)

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-046
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:Axis Systems custom PC (Pentium Pro),under RedHat Linux 4.2 ELF, Kernel 2.0.18
Target:Same as host.

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-047
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:Axis Systems custom PC (Pentium Pro), under RedHat Linux 4.2 ELF, Kernel 2.0.18
Target:Motorola MVME1603 (PowerPC 603e VMEbus board)(bare machine EABI environment with Motorola PPC-BUG Monitor)

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-048
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:DEC Alpha AXP 2000/300, under OSF/1 3.0
Target:Same as host.

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-049
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:DEC Alpha AXP 2000/300, under OSF/1 3.0
Target:ICC tm960sim v3.1.2 Instruction-level Simulator of Intel i960MX in tagged mode, executing on the host (under Hughes Avionics Operating System, build 805c-3)

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-050
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:DEC VAX 4100A, under VMS 5.5-2H4
Target:Same as host.

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Full
Certificate Number:970630I2.0.1-051
Test Suite:ACVC 2.0.1
Testing Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:DEC VAX 4100A, under VMS 5.5-2H4
Target:ICC tm960sim v3.1.2 Instruction-level Simulator of Intel i960MC (bare machine simulation)

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Derived
Certificate Number:970630I2.0.1-046D01
Test Suite:ACVC 2.0.1
Submission Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:Sun Microsystems SPARCserver, SPARCstation, UltraStation, or UltraServer, all models (under Solaris 2.3 or later)
Target:Any computer system that executes the Intel 80386, 80486, Pentium, PentiumPro, or Pentium II instruction set (FPU optional) (under Linux, or as a bare machine)

ICC Ada v. 8.1.5
Irvine Compiler Corporation

Testing:Derived
Certificate Number:970630I2.0.1-047D01
Test Suite:ACVC 2.0.1
Submission Date:30 Jun 1997
Expiration Date:31 Mar 1998
Host:Sun Microsystems SPARCserver, SPARCstation, UltraStation, or UltraServer, all models (under Solaris 2.3 or later)
Target:Any computer system that executes the PowerPC 603e or compatible instruction set (bare machine)

PowerAda 4.0
OC Systems

Testing:Full
Certificate Number:980605e2.1-021
Test Suite:ACVC 2.1
Testing Date:14 Jul 1998
Expiration Date:05 Jun 2000
Claimed Host:IBM RS/6000 Model 7025-F50 under AIX 4.2
Claimed Target:Same as host.
Claim Source:980605e2.1-021D01
Tested Host:IBM RS/6000 Model 7025-F50 under AIX 4.2
Tested Target:Same as host.
Supercedes:951219W2.0-007

PowerAda 4.0
OC Systems

Testing:Full
Certificate Number:980605e2.1-022
Test Suite:ACVC 2.1
Testing Date:14 Jul 1998
Expiration Date:05 Jun 2000
Claimed Host:IBM RS/6000 Model 7025-F50 under AIX 4.2
Claimed Target:Motorola Powerstack MT 603-66 under LynxOS 2.4.0
Claim Source:980605e2.1-022D01
Tested Host:IBM RS/6000 Model 7025-F50 under AIX 4.2
Tested Target:Motorola Powerstack MT 603-66 under LynxOS 2.4.0
Supercedes:951219W2.0-008

Janus/Ada 95 Professional Development System for Microsoft Windows NT/95, Version 3.1.0
R.R. Software, Inc.

Testing:Full
Certificate Number:960921I2.0.1-003
Test Suite:ACVC 2.0.1
Testing Date:21 Sep 1996
Expiration Date:31 Mar 1998
Claimed Host:Any computer system comprising: CPU: any that executes the Intel 80486 instruction set; FPU: optional; Memory: 8 MB RAM; Disk: 13 MB space on the hard drive; OS: Windows NT 3.5, 3.5.1, 4.0, and higher.
Claimed Target:Any host.
Claim Source:960921I2.0.1-003D01
Tested Host:ABC 486/33, under MS Windows 95, Version 4.00.950
Tested Target:Same as host.

Janus/Ada 95 Professional Development System for 32-Bit DOS Extender, Version 3.1.0
R.R. Software, Inc.

Testing:Full
Certificate Number:960921I2.0.1-004
Test Suite:ACVC 2.0.1
Testing Date:21 Sep 1996
Expiration Date:31 Mar 1998
Claimed Host:Any computer system comprising: CPU: any that executes the Intel 80386 instruction set; FPU: optional; Memory: 8 MB RAM; Disk: 13 MB space on the hard drive; OS: MS-DOS 5.0 and higher, Windows 95.
Claimed Target:Any host.
Claim Source:960921I2.0.1-004D01
Tested Host:MicroXperts 486 DX4 100, under MS-DOS 5.0 with Ergo 32 Bit DOS Extender, Version 1.0
Tested Target:Same as host.

Janus/Ada 95 Professional Development System for 80386 Unix, Version 3.1.0
R.R. Software, Inc.

Testing:Full
Certificate Number:960921I2.0.1-005
Test Suite:ACVC 2.0.1
Testing Date:21 Sep 1996
Expiration Date:31 Mar 1998
Host:Northgate 386/25, under SCO Unix Version 3.2
Target:Same as host.

Rational Apex Ada 95/83, IBM RS/6000 AIX, version 4.0.0c
Rational Software Corporation

Testing:Full
Certificate Number:A010925E2.4-009
Test Suite:ACATS 2.4
ACATS Modification List 2.4D
Testing Date:25 Sep 2001
Expiration Date:25 Sep 2003
Claimed Host:IBM RS/6000 under AIX 4.3.3
Claimed Target:Same as host.
Claim Source:A010925E2.4-009D01
Tested Host:IBM RS/6000 model 7012-G40 under AIX 4.3.3
Tested Target:Same as host.
Supercedes:980511e2.1-019

Rational Apex Ada 95/83, Windows NT, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010925E2.4-010
Test Suite:ACATS 2.4
ACATS Modification List 2.4D
Testing Date:25 Sep 2001
Expiration Date:25 Sep 2003
Claimed Host:PC or compatible running Windows NT 4.0/service pack 3 or later, or Windows 2000
Claimed Target:Same as host.
Claim Source:A010925E2.4-010D01
Tested Host:IBM ThinkPad 760XD (Pentium 166), Windows NT/service pack 5, version 4.00
Tested Target:Same as host.
Supercedes:980613e2.1-023

Rational Apex Ada 95/83 for Sun Sparc Solaris to Intel Architecture for Tornado, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010925E2.4-011
Test Suite:ACATS 2.4
ACATS Modification List 2.4D
Testing Date:25 Sep 2001
Expiration Date:25 Sep 2003
Claimed Host:Sun SPARC under Solaris 2.6, 2.7, or 2.8
Claimed Target:Intel 386 with Intel hardware floating point co-processor (i80387) or Intel 486 or later with integrated floating point co-processor under Wind River Systems Tornado 2.0
Claim Source:A010925E2.4-011D01
Tested Host:Sun UltraSparc Enterprise 250 under Solaris 2.7
Tested Target:Comtrade Wide SCSI Powerstation (Pentium 133) under Wind Rivers Systems Tornado 2.0
Supercedes:980909e2.1-040

Rational Apex Ada 95/83, Sun SPARC Solaris 2, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-001
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:Sun SPARC running Solaris 2.6, 2.7, or 2.8
Claimed Target:Same as host.
Claim Source:A010516E2.4-001D01
Tested Host:Sun Ultra 60 under Solaris 2.7
Tested Target:Same as host.
Supercedes:980511e2.1-017

Rational Apex Ada 95/83, SGI MIPS IRIX, version 4.0.0c
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-002
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:SGI IRIX systems under IRIX 6.5
Claimed Target:Same as host.
Claim Source:A010516E2.4-002D01
Tested Host:SGI Origin 200 (IP27/R10000) under IRIX64 6.5
Tested Target:Same as host.
Supercedes:980909e2.1-039

Rational Apex Ada 95/83, Compaq Alpha Tru64, version 4.0.0c
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-003
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:Compaq (Digital) AlphaStation under Tru64 4.0D through 4.0G or Tru64 5.1
Claimed Target:Same as host.
Claim Source:A010516E2.4-003D01
Tested Host:Compaq (Digital) Personal Workstation 433au under Tru64 4.0D
Tested Target:Same as host.

Rational Apex Embedded Ada 95/83, Sun Sparc Solaris to PowerPC family for Rational Exec, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-004
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:Sun SPARC under Solaris 2.6, 2.7, or 2.8
Claimed Target:All PowerPC processors under Rational Exec 4.0.0b
Claim Source:A010516E2.4-004D01
Tested Host:Sun Ultra 2 under Solaris 2.6
Tested Target:Motorola MVME2700-02/PowerPC 750 under Rational Exec, version 4.0.0b
Supercedes:980613e2.1-024

Rational Apex Embedded Ada 95/83, Sun Sparc Solaris to PowerPC family for Tornado, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-005
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:Sun SPARC under Solaris 2.6, 2.7, or 2.8
Claimed Target:All PowerPC processors under Wind River Systems Tornado 2.0
Claim Source:A010516E2.4-005D01
Tested Host:Sun Ultra 2 under Solaris 2.6
Tested Target:Motorola MVME1604-001/PowerPC 604 under Wind Rivers Systems Tornado 2.0
Supercedes:980613e2.1-029

Rational Apex Ada 95/83, HP HPPA HP-UX, version 4.0.0c
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-006
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:HP 9000 700/800 under HP-UX 11.0
Claimed Target:Same as host.
Claim Source:A010516E2.4-006D01
Tested Host:HP 9000 Series 780 Model J282 under HP-UX 11.0
Tested Target:Same as host.
Supercedes:980511e2.1-018

Rational Apex Embedded Ada 95/83, Sun Sparc Solaris to to PowerPC family for LynxOS, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-007
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:Sun SPARC under Solaris 2.6, 2.7, or 2.8
Claimed Target:All PowerPC processors with HW floating point under LynxOS 3.1.0a
Claim Source:A010516E2.4-007D01
Tested Host:Sun Ultra 60 under Solaris 2.6
Tested Target:Motorola Powerstack (PowerPC 603) under LynxOS 3.1.0a
Supercedes:980613e2.1-026

Rational Apex Embedded Ada 95/83, Sun Sparc Solaris to Intel Architecture Family for Rational Exec, version 4.0.0b
Rational Software Corporation

Testing:Full
Certificate Number:A010516E2.4-008
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Testing Date:16 May 2001
Expiration Date:16 May 2003
Claimed Host:Sun SPARC under Solaris 2.6, 2.7, or 2.8
Claimed Target:Intel 386 with Intel hardware floating point co-processor (i80387) or Intel 486 or later with integrated floating point co-processor under Rational Exec version 4.0.0b
Claim Source:A010516E2.4-008D01
Tested Host:Sun UltraSparc Enterprise 250 under Solaris 2.7
Tested Target:ISA Pentium motherboard with Celeron Pentium II - 366 Mhz under Rational Exec, version 4.0.0b
Supercedes:980613e2.1-030

Rational Apex Embedded Ada 95/83, Sun Sparc Solaris to to PowerPC family for LynxOS, version 4.2.0b
Rational Software Corporation

Testing:Derived
Certificate Number:A010516E2.4-007D02
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Submission Date:09 May 2003
Expiration Date:16 May 2003
Claimed Host:Sun SPARC running Solaris 2.6, 2.7, 8, or 9
Claimed Target:PowerPC under LynxOS 3.1.0a
Tested Host:Sun Ultra 2, running Solaris 2.7
Tested Target:Motorola Powerstack (PowerPC 603) under LynxOS 3.1.0a
Supercedes:A010516E2.4-007D01

Rational Apex Ada 95/83, Sun SPARC Solaris 2, version 4.2.0b
Rational Software Corporation

Testing:Derived
Certificate Number:A010516E2.4-001D02
Test Suite:ACATS 2.4
ACATS Modification List 2.4B
Submission Date:23 Apr 2003
Expiration Date:16 May 2003
Claimed Host:Sun SPARC running Solaris 2.6, 2.7, 8, or 9
Claimed Target:Same as host.
Tested Host:Sun Ultra 2, running Solaris 2.7
Tested Target:Same as host.
Supercedes:A010516E2.4-001D01

Rational Apex Ada 95/83, Sparc Solaris to MIPS II for Rational Exec, version 3.0.0 (Pre-release)
Rational Software Corporation

Testing:Full
Certificate Number:980613e2.1-025
Test Suite:ACVC 2.1
Testing Date:08 Jul 1998
Expiration Date:13 Jun 2000
Host:Sun Ultra Enterprise 2 model 2300 under Solaris, 2.5.1
Target:Heurikon Laguna (R4600) under Rational Exec, version 3.0.0
Supercedes:970710S2.0.1-059

Rational Apex Ada 95/83, Sparc Solaris to MC68040 for Rational Exec, version 3.0.0 (Pre-release)
Rational Software Corporation

Testing:Full
Certificate Number:980613e2.1-027
Test Suite:ACVC 2.1
Testing Date:08 Jul 1998
Expiration Date:13 Jun 2000
Host:Sun Ultra Enterprise 2 model 2300 under Solaris, 2.5.1
Target:Motorola MVME167 (68040) under Rational Exec, version 3.0.0
Supercedes:970710S2.0.1-056

Rational Apex Ada 95/83, Sparc Solaris to MIPS II for Tornado, version 3.0.0 (Pre-release)
Rational Software Corporation

Testing:Full
Certificate Number:980613e2.1-028
Test Suite:ACVC 2.1
Testing Date:08 Jul 1998
Expiration Date:13 Jun 2000
Host:Sun Ultra Enterprise 2 model 2300 under Solaris, 2.5.1
Target:Algorithmics P-4000i (R4600) under Wind River Systems Tornado 1.0.1

Rational Apex Ada 95/83, Sparc Solaris to MC68040 for Tornado, version 3.0.0 (Pre-release)
Rational Software Corporation

Testing:Full
Certificate Number:980613e2.1-031
Test Suite:ACVC 2.1
Testing Date:08 Jul 1998
Expiration Date:13 Jun 2000
Host:Sun Ultra Enterprise 2 model 2300 under Solaris, 2.5.1
Target:Motorola MVME167 (68040) under Wind River Systems Tornado 1.0.1
Supercedes:970710S2.0.1-058

Rational Apex Ada, Digital Alpha AXP/UNIX, version 3.0.0 (pre-release)
Rational Software Corporation

Testing:Full
Certificate Number:980511e2.1-020
Test Suite:ACVC 2.1
Testing Date:29 May 1998
Expiration Date:11 May 2000
Claimed Host:Digital AlphaStations (under Digital UNIX 4.0D, 4.0E, 4.0F)
Claimed Target:Same as host.
Claim Source:980511e2.1-020D01
Tested Host:Digital AlphaStation 500/500 under Digital UNIX 4.0D
Tested Target:Same as host.
Supercedes:970625S2.0.1-041

Rational Apex Embedded Ada, Windows NT to PowerPC for Rational Exec, version 3.0.2b
Rational Software Corporation

Testing:Derived
Certificate Number:980613e2.1-024D01
Test Suite:ACVC 2.1
Submission Date:10 Jan 2000
Expiration Date:11 May 2000
Claimed Host:Windows NT 4.0
Claimed Target:Motorola MVME1603-001/PowerPC 603 under Rational Exec 3.0.2
Tested Host:Dell Optiplex GXa with Intel Pentium II under NT 4.0
Tested Target:Motorola MVME1603-001/PowerPC 603 under Rational Executive, version 3.0.2

Apex/Ada version 2.4.0
Rational Software Corporation

Testing:Full
Certificate Number:970710S2.0.1-054
Test Suite:ACVC 2.0.1
Testing Date:10 Jul 1997
Expiration Date:31 Mar 1998
Host:Sun Ultra Enterprise 2 model 2300, under Solaris 2.5.1
Target:Motorola MVME1604-001 (PowerPC 604), under Rational Exec

Apex/Ada version 2.4.0
Rational Software Corporation

Testing:Full
Certificate Number:970710S2.0.1-057
Test Suite:ACVC 2.0.1
Testing Date:10 Jul 1997
Expiration Date:31 Mar 1998
Host:HP 9000 Series 770 Model J200, under HP-UX 10.01
Target:Motorola MVME1603-002 (PowerPC 603), under VxWorks 5.3

Apex/Ada version 2.4.0
Rational Software Corporation

Testing:Full
Certificate Number:970625S2.0.1-037
Test Suite:ACVC 2.0.1
Testing Date:25 Jun 1997
Expiration Date:31 Mar 1998
Claimed Host:Sun SPARCstation, SPARCserver, UltraStation, & UltraServer computer families (under SunOS 4.1.4 or later)
Claimed Target:Any host.
Claim Source:970625S2.0.1-037D01
Tested Host:Sun SPARCstation 10/144, under SunOS release 4.1.4
Tested Target:Same as host.
Supercedes:960209S2.0-014

Apex/Ada version 2.4.0
Rational Software Corporation

Testing:Full
Certificate Number:970625S2.0.1-039
Test Suite:ACVC 2.0.1
Testing Date:25 Jun 1997
Expiration Date:31 Mar 1998
Claimed Host:IBM POWERstation computer family (all models)under AIX 4.1.4 or later
Claimed Target:Any host.
Claim Source:970625S2.0.1-039D01
Tested Host:IBM POWERstation model 340, under AIX 4.1.4
Tested Target:Same as host.

Rational Apex Ada 95 for Digital Unix, Version 2.0.8 (pre-release)
Rational Software Corporation

Testing:Full
Certificate Number:960209S2.0-010
Test Suite:ACVC 2.0
Testing Date:09 Feb 1996
Expiration Date:31 Mar 1998
Host:DEC 3000 model 600 AXP, under OSF/1, V3.2
Target:Same as host.

Report generated April 26, 2007