The Ada Resource Association
A list of certified or validated Ada83 compilers
NOTE: In accordance with the Ada Validation Procedures (Version 5.0), certificates will no longer be issued for Ada 83 compilers. Testing may be performed by an Ada Conformity Assessment Laboratory (ACAL) for specific procurement requirements, and the AJPO will issue a letter affirming such testing, but no certificates will be issued. All validation certificates ever issued for testing under Version 1.11 of the ACVC test suite expired on 31 March 1998.

AETECH, Inc.


AETECH Ada products are now Active Engineering Technologies, Inc. Active Engineering Technologies, Inc., 914 South Santa Fe Avenue, Suite 282, Vista, CA 92084 US

Contact Jim Dorman at Phone: (619) 414-9001 or E-mail: ada_info@pcada.com


AETECH POSIX Compiler, Version 5.1.0
Certificate Number: 901129W1.11086
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386 & 80486; fpu: optional; memory: 4 MByte RAM; disk: 60 MByte hard drive (under ESIX System V, Release 4.0)

Target: Same as Host


AETECH POSIX Compiler, Version 5.1.0
Certificate Number: 901129W1.11086
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386 & 80486, fpu: optional, memory: 4 MByte RAM, disk: 60 MByte hard drive (under Interactive Unix System V, Release 3.2)

Target: Same as Host


IntegrAda 386 5.1.0
Certificate Number: 901120W1.11087
Compiler Type: Base

Host: Northgate 386/25 (under Phar Lap/DOS 3.3)

Target: Northgate 386/25 (under MS DOS 3.3)


IntegrAda 386 5.1.0
Certificate Number: 901120W1.11087
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386, fpu: optional, memory: 4 MByte RAM, disk: 40 MByte hard drive (under Phar Lap/DOS 3.3)

Target: Any Computer System Comprising: cpu: Intel 80386, fpu: optional, memory: 4 MByte RAM, disk: 40 MByte hard drive (under MS-DOS 3.3)


IntegrAda 386, Version 6.2
Certificate Number: 901120W1.11087
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386 & 80486; fpu: optional; memory: 4 MByte RAM; disk: 40 MByte hard drive (under MS DOS 3.3, 5.0, & 6.0)

Target: Same as Host


IntegrAda DOS, Version 6.1
Certificate Number: 901120W1.11087
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80x86 series; fpu: optional; memory: 640 KByte RAM; disk: 40 MByte hard drive (under MS DOS 3.3, 5.0, & 6.0)

Target: Same as Host


IntegrAda POSIX 5.1.0
Certificate Number: 901129W1.11086
Compiler Type: Base

Host: Unisys PW/2 386 (under SCO Unix 3.2)

Target: Same as Host


IntegrAda POSIX 5.1.0
Certificate Number: 901129W1.11086
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386, fpu: optional, memory: 4 MByte RAM, disk: 60 MByte hard drive (under SCO Unix 3.2)

Target: Same as Host


IntegrAda for Windows, Version 1.2
Certificate Number: 901120W1.11087
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386 & 80486; fpu: optional; memory: 4 MByte RAM; disk: 40 MByte hard drive (under MS DOS 3.3, 5.0, & 6.0, with Windows 3.1)

Target: Same as Host


XAda, Version 6.1
Certificate Number: 901129W1.11086
Compiler Type: Derived

Host: Any computer system comprising: cpu: Intel 80386 or 80486; fpu: Optional; memory: 8 MByte RAM; disk: 160 MByte hard drive (under SCO Unix 3.2, Solaris X86, ESIX System V, Release 4.0, & Interactive Unix System V, Release 3.2)

Target: Same as Host


XAda, Version 6.1
Certificate Number: 901129W1.11086
Compiler Type: Derived

Host: Any computer system comprising: cpu: Intel 80386 or 80486; fpu: optional; memory: 8 MByte RAM; disk: 160 MByte hard drive (under Univel UnixWare Version 1.0.3a)

Target: Same as Host


Aitech Defense Systems, Inc.


3080 Olcott St., Suite 105A, Santa Clara, CA 95054

Contact Uri Gries at Phone: (408) 980-6200 or E-mail: (No address given)


AI-ADA/88K, Version 2.4
Certificate Number: 900930W1.11030
Compiler Type: Base

Host: VAXstation 3100 Cluster (under VMS 5.3)

Target: Tadpole TP880V (88100-based VME board) (bare machine)


AI-ADA/88K, Version 2.4
Certificate Number: 900930W1.11030
Compiler Type: Derived

Host: All DEC MicroVAX, VAXstation, VAXserver, VAX-11, VAX 8xxx & VAX 6xxx series (under VMS versions 5.0, 5.1, 5.2 & 5.3, as supported)

Target: Tadpole TP880V (88100-based VME board) & Motorola MVME181 (88100-based VME board) (bare machines)


AI-ADA/96K, Version 3.0
Certificate Number: 911012W1.11224
Compiler Type: Base

Host: VAXstation 3100 Cluster (under VMS 5.3)

Target: DSP96002 ADS board (bare machine)


AI-ADA/96K, Version 3.0
Certificate Number: 911012W1.11225
Compiler Type: Base

Host: Sun-4/330 (under SunOS 4.1.1)

Target: DSP96002 ADS board (bare machine)


Alenia Aeritalia & Selenia S.p.A


Via Tiburtina km. 12,4, 00131 Roma, ITALY

Contact Nicola Botta at Phone: +39 6 41972520 or E-mail: (No address given)


DACS 80x86PM, Version 4.6
Certificate Number: 920509S1.11259
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 4000, VAX 6000, VAX 8000, & VAX 9000 Series of computers (under VMS 5.4)

Target: Alenia MARA 80386- & 80486-based computers (under Alenia Operating System 8.6)


DACS VAX/VMS to 80x86 PM MARA Ada Cross Compiler, Version 4.6
Certificate Number: 920509S1.11259
Compiler Type: Base

Host: MicroVAX 4000/200 (under VMS Version 5.4)

Target: Alenia MARA (80286-based) (under Alenia Operating System, Version 8.6 System)


Aonix

(formerly Thomson Software Products)
5040 Shoreham Place, San Diego, CA 92122

Contact Marianne Worley at Phone: (619) 457-2700, ext. 244 or E-mail: adainfo@aonix.com


ActivAda Realtime Version 5.5.2a
Certificate Number: 910323W1.11131
Compiler Type: Derived

Host: Any computer system that executes the Intel 80386, 80486, or Pentium instruction set (under Windows NT 3.51 or higher)

Target: Any single-board computer that executes the Intel 80386 or 80486 instruction set(bare machine, using ARTK 5.5.2a)


ActivAda for Windows, Version 5.1.3
Certificate Number: 901102W1.11055
Compiler Type: Derived

Host: Any computer that executes the Intel 80386, 80486, or Pentiuminstruction set (under MS-DOS 6.2, with MS-Windows 3.1)

Target: Any host machine(under MS-DOS 6.2 or higher and Phar Lap TNT 6.1 or 7.0)


ActivAda for Windows, Version 5.3
Certificate Number: 901102W1.11055
Compiler Type: Derived

Host: Any computer that executes the Intel 80386, 80486, or Pentium instruction set (under MS-DOS 6.2, with MS-Windows 3.1)

Target: Any host machine (under MS-DOS 6.2 or higher and Phar Lap TNT 6.1 or 7.0)


AlsyCOMP_007 Version 5.5.1 (AdaWorld Sparc/Solaris-Hosted Inmos T800 Transputer BSMART Comp. Sys.)
Certificate Number: 901114N1.11065
Compiler Type: Derived

Host: Sun Sun-4, SPARCstation, & SPARCserver all models (under Solaris 2.4)

Target: Any Inmos T800 series transputer mounted on suitable TRAM and motherboard, connected to Inmos B300 TCPlink box for host communication (under Inmos Iserver interface)


AlsyCOMP_007 Version 5.5.3 (AdaWorld Sparc/Solaris-Hosted
Certificate Number: 901114N1.11065
Compiler Type: Derived

Host: Sun SPARCstation, SPARCserver, Ultra, & UltraServer computer families, all models (under Solaris 2.4 & 2.5)

Target: Any Inmos T800 series transputer mounted on suitable TRAM and motherboard, connected to Inmos B300 TCPlink box for host communication using the Inmos Iserver protocol


AlsyCOMP_080, Version 5.5.8
Certificate Number: 901116A1.11066
Compiler Type: Derived

Host: Sun Microsystems SPARCstation 1+, 2, 5, 10, 20, ELC, IPC, & IPX; SPARCserver 10, 20, 330, 370, 390, 470, 490, 630MP, 670MP, & 690MP; SPARCcenter 2000; and UltraSPARC-based workstations, all models (under Solaris 2.5)

Target: Motorola MVME101 (68000), MEN A4 (68332), MVME147 (68030/68882), MVME167 (68040), & MVME177 (68060) (bare machines, using ARTK 5.5.8)


AlsyCOMP_092, V5.7.2
Certificate Number: 910809W1.11195
Compiler Type: Derived

Host: Sun SPARCstation, SPARCserver, UltraStation, & UtraServer series, all models (under Solaris 2.4 & 2.5)

Target: Motorola MVME1603, MVME1604 (under LynxOS 2.4, with patches #000054-00, #000057-00, #000065-06, #000078-00/01, #000087-00/01)


AlsyCOMP_092, V5.7.2
Certificate Number: 910809W1.11195
Compiler Type: Derived

Host: Sun SPARCstation, SPARCserver, UltraStation, & UtraServer series, all models (under Solaris 2.4 & 2.5)

Target: Motorola MVME1603, MVME1604 (under LynxOS 2.4, with patches #000054-00, #000057-00, #000065-06, #000078-00/01, #000087-00/01)


Rational Apex Ada 83 for Digital Unix, v2.0.8h
Certificate Number: 960209S1.11407
Compiler Type: Derived

Host: Any DEC Alpha workstation (under Digital Unix 4.0 & 4.1)

Target: Any host.


Rational Apex Ada 83 for Sun SPARC Solaris 2, v2.0.8h
Certificate Number: 960209S1.11406
Compiler Type: Derived

Host: Any Sun SPARC workstation (under Solaris 2.5)

Target: Any host.


TeleGen2 Ada Cross Development System for Sun-4 to 368k, Version 3
Certificate Number: 921218I1.11304
Compiler Type: Derived

Host: Sun-4/490 (under Solaris 2.4)

Target: Motorola MVME147S-1 (bare machine)


AverStar, Inc. (now Sofcheck, Inc.)

(also previously known as AverCom and Intermetrics)
11 Cypress Drive, Burlington, MA 01803

Contact S. Tucker Taft at Phone: (781) 750-8064 or E-mail: Info@sofcheck.com


Ada/L, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11172
Compiler Type: Base

Host: VAX 8550 (under VMS Version 5.3)

Target: AN/UYK-43 (single cpu) (bare machine)


Ada/L, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11173
Compiler Type: Base

Host: VAX 8550 (under VMS Version 5.3)

Target: AN/UYK-43 (EMR) (bare machine)


Ada/L, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11176
Compiler Type: Base

Host: VAX-11/785 (under VMS Version 5.3)

Target: AN/UYK-43 (single cpu) (bare machine)


Ada/L, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11177
Compiler Type: Base

Host: VAX-11/785 (under VMS Version 5.3)

Target: AN/UYK-43 (EMR) (bare machine)


Ada/M, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11174
Compiler Type: Base

Host: VAX 8550 (under VMS Version 5.3)

Target: AN/UYK-44 (EMR) (bare machine)


Ada/M, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11175
Compiler Type: Base

Host: VAX 8550 (under VMS Version 5.3)

Target: AN/AYK-14 (bare machine)


Ada/M, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11178
Compiler Type: Base

Host: VAX-11/785 (under VMS Version 5.3)

Target: AN/UYK-44 (EMR) (bare machine)


Ada/M, Version 4.0 (/OPTIMIZE)
Certificate Number: 910626S1.11179
Compiler Type: Base

Host: VAX-11/785 (under VMS Version 5.3)

Target: AN/AYK-14 (bare machine)


Ada/M, Version 4.5 (/NO_OPTIMIZE)
Certificate Number: 920918S1.11274
Compiler Type: Base

Host: VAX Cluster (comprising VAX 8550, 8600, & 8650 machines) (under VMS Version 5.3)

Target: Enhanced Processor (EP) AN/UYK-44 (bare machine)


Ada/M, Version 4.5 (/NO_OPTIMIZE)
Certificate Number: 920918S1.11275
Compiler Type: Base

Host: VAX Cluster (comprising VAX 8550, 8600, & 8650 machines) (under VMS Version 5.3)

Target: VHSIC Processor Module (VPM) AN/AYK-14 (bare machine)


Ada/M, Version 4.5 (/OPTIMIZE)
Certificate Number: 920918S1.11272
Compiler Type: Base

Host: VAX Cluster (comprising VAX 8550, 8600, & 8650 machines) (under VMS Version 5.3)

Target: Enhanced Processor (EP) AN/UYK-44 (bare machine)


Ada/M, Version 4.5 (/OPTIMIZE)
Certificate Number: 920918S1.11273
Compiler Type: Base

Host: VAX Cluster (comprising VAX 8550, 8600, & 8650 machines) (under VMS Version 5.3)

Target: VHSIC Processor Module (VPM) AN/AYK-14 (bare machine)


AdaVAX, Version 5.0 (/NO_OPTIMIZE)
Certificate Number: 910517S1.11163
Compiler Type: Base

Host: VAX 8600 (under VMS Version 5.3)

Target: Same as Host


AdaVAX, Version 5.0 (/NO_OPTIMIZE)
Certificate Number: 910517S1.11165
Compiler Type: Base

Host: VAX-11/785 (under VMS Version 5.3)

Target: Same as Host


AdaVAX, Version 5.0 (/OPTIMIZE)
Certificate Number: 910517S1.11162
Compiler Type: Base

Host: VAX 8600 (under VMS Version 5.3)

Target: Same as Host


AdaVAX, Version 5.0 (/OPTIMIZE)
Certificate Number: 910517S1.11164
Compiler Type: Base

Host: VAX-11/785 (under VMS Version 5.3)

Target: Same as Host


AdaVAX, Version 5.5 (/NO_OPTIMIZE)
Certificate Number: 920918S1.11271
Compiler Type: Base

Host: VAXstation 4000 (under VMS Version 5.5)

Target: Same as Host


AdaVAX, Version 5.5 (/OPTIMIZE)
Certificate Number: 920918S1.11270
Compiler Type: Base

Host: VAXstation 4000 (under VMS Version 5.5)

Target: Same as Host


CONVEX Computer Corporation


7501 Greenway Center Dr., Suite 800, Greenbelt, MD 20770

Contact Sudy Bharadwaj at Phone: (301) 345-2400 or E-mail: sudy@convex.com


CONVEX Ada, Version 2.0
Certificate Number: 900910W1.11027
Compiler Type: Base

Host: CONVEX C220 (under ConvexOS 8.1)

Target: Same as Host


CONVEX Ada, Version 2.0
Certificate Number: 900910W1.11027
Compiler Type: Derived

Host: CONVEX C120, C201, C202, C210, C210i, C220, C220i, C230, C230i, C240, C3210, C3220, C3230, C3240, C3410, C3420, C3430, C3440, C3450, C3460, C3470, C3480, C3810, C3820, C3830, C3840, C3850, C3860, C3870, C3880 (under ConvexOS versions 8.1, 9.0, 9.1 & 10.0)

Target: Each Host, self-targeted


CONVEX Ada, Version 2.0
Certificate Number: 900910W1.11027
Compiler Type: Derived

Host: CONVEX C120, C201, C202, C210, C220, C230, C240, C210i, C220i & C230i (under ConvexOS, Versions 8.1 and 9.0)

Target: Any Host


CONVEX Ada, Version 2.1
Certificate Number: 900910W1.11027
Compiler Type: Derived

Host: CONVEX C120, and C2xx, C32xx, C34xx, & C38xx computer series (under ConvexOS, Versions 8.1, 9.0, 9.1, 10.0, & 10.1; and ConvexOS/Secure Versions 9.5 & 10.0 )

Target: Same as Host


Concurrent Computer Corporation


2101 W. Cypress Creek Road, Ft. Lauderdale, FL 33309-1892

Contact Jeff Hollensen at Phone: (954) 973-5427 or E-mail: jeff.hollensen@ccur.com


C3 Ada, Version 0.5
Certificate Number: 900427I1.11008
Compiler Type: Base

Host: Concurrent Computer Corporation 8400 MIPS R3000/3010) (under RTU Version 5.1)

Target: Same as Host


C3 Ada, Version 0.5
Certificate Number: 900427I1.11008
Compiler Type: Derived

Host: Concurrent Computer Corporation 8500 (MIPS R3000/R3010) (under RTU Version 5.1)

Target: Same as Host


C3 Ada, Version 1.0
Certificate Number: 901130W1.11109
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 8000 (MIPS R3000/3010) (under RTU Versions 5.1A, 5.1B & 6.0)

Target: Same as Host


C3 Ada, Version 1.0v
Certificate Number: 901130W1.11109
Compiler Type: Base

Host: Concurrent Computer Corporation 8400 (MIPS R3000/3010) (under RTU Version 5.1)

Target: Same as Host


C3 Ada, Version 1.0v
Certificate Number: 901130W1.11109
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 8000 (all models) (under RTU Versions 5.1, 5.1A & 5.1B)

Target: Any Host


C3 Ada, Version 1.1
Certificate Number: 901130W1.11107
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 6000 (MC68030, with Super Lightning Floating Point) & Series 5000 (MC68020, with Lightning Floating Point) (under RTU Versions 5.0A, 5.0B, 5.0C & 6.0)

Target: Same as Host


C3 Ada, Version 1.1
Certificate Number: 901130W1.11110
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 6000 (MC68030/MC68882) & Series 5000 (MC68020/MC68881) (under RTU Versions 5.0A, 5.0B, 5.0C & 6.0)

Target: Same as Host


C3 Ada, Version 1.1v
Certificate Number: 901130W1.11107
Compiler Type: Base

Host: Concurrent Computer Corporation 6650 with Super Lightning Floating Point (under RTU Version 5.0C)

Target: Same as Host


C3 Ada, Version 1.1v
Certificate Number: 901130W1.11107
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 6000 with Super Lightning Floating Point, and Series 5000 with Lightning Floating Point (all models) (under RTU Version 5.0A, 5.0B & 5.0C)

Target: Any Host


C3 Ada, Version 1.1v
Certificate Number: 901130W1.11110
Compiler Type: Base

Host: Concurrent Computer Corporation 6650 with MC68882 Floating Point (under RTU Version 5.0C)

Target: Same as Host


C3 Ada, Version 1.1v
Certificate Number: 901130W1.11110
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 6000 with an MC68882 fpu, and Series 5000 with an MC68881 fpu (all models) (under RTU Versions 5.0A, 5.0B & 5.0C)

Target: Any Host


C3 Ada, Version 1.2 & 2.0b
Certificate Number: 901130W1.11110
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 7000 (MC68040) (under RTU Version 6.1)

Target: Any Host


C3 Ada, Version 2.0b
Certificate Number: 901130W1.11109
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 8000 (MIPS R3000/3010) (under RTU Version 6.0)

Target: Any Host


C3 Ada, Version 2.0b
Certificate Number: 901130W1.11110
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 7000 (MC68040) (under RTU Version 6.1)

Target: Any Host


C3 Ada, Version 2.0p
Certificate Number: 901130W1.11109
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 8000 (R3000/3010), all models (under RTU Versions 5.1A, 5.1B & 6.0)

Target: Same as Host


C3 Ada, Version 3.0
Certificate Number: 901130W1.11109
Compiler Type: Derived

Host: Concurrent Computer Corporation MAXION Multiprocessor System with MIPS R4400 and Internal Floating Point (all models) (under RTU Version 6.2)

Target: Any Host


C3 Ada, Version R03-00
Certificate Number: 901130W1.11108
Compiler Type: Derived

Host: Concurrent Computer Corporation System Bus Processor family of computers (under Trusted OS/32 and MTM Version R08-03.3S, and OS/32 Versions R08-03.2, R09-01.1OS/32, & R09-02)

Target: Any Host


C3 Ada, Version R03-00V
Certificate Number: 901130W1.11108
Compiler Type: Base

Host: Concurrent Computer Corporation 3280MPS (under OS/32 Version R08-03.2)

Target: Same as Host


C3 Ada, Version R03-00V
Certificate Number: 901130W1.11108
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 3200: 3200 MPS, 3203, 3205, 3210, 3220, 3230, 3250, 3230XP, 3250XP, 3230MPS, 3260MPS, Micro4, and Micro5 (under OS/32 Versions R08-03, R08-03.1 & R08-03.2)

Target: Any Host


C3 Ada, Versions 2.0bV4 & 2.0bV4c
Certificate Number: 901130W1.11110
Compiler Type: Derived

Host: Concurrent Computer Corporation Series 7000 (MC68040) (under RTU, Version 6.1A)

Target: Any Host


HAPSE Ada Compiler, version 4.1
Certificate Number: 950606W1.11383
Compiler Type: Derived

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


HAPSE Ada Compiler. Version 3.1
Certificate Number: 950606W1.11383
Compiler Type: Derived

Host: Night Hawk 6200 & 6800, Power Maxion 6400, Power Hawk 610, & Motorola MVME 1604 (under PowerUX 3.1 & PowerSX 3.1)

Target: Any Host


Harris Ada Compiler, Version 2.1
Certificate Number: 950606W1.11383
Compiler Type: Derived

Host: Harris NH6200 & NH6800 (under Power UX 2.1.1)

Target: Any Host


Harris Ada Compiler, Version 2.2
Certificate Number: 950606W1.11383
Compiler Type: Derived

Host: Harris Night Hawk 6200 & 6800, Power Hawk 610, & Motorola MVME 1604 (under PowerUX 2.2 & PowerSX 2.2)

Target: Any Host


Harris Ada Compiler, Version 6.2
Certificate Number: 900918W1.11028
Compiler Type: Derived

Host: Harris NH-4400, NH-4800, & NH-5800 (under CX/UX 6.1, CX/RT 6.1, CX/SX 6.1, & CX/SX 6.2)

Target: Any Host (using either Harris Ada Run-time System or ARMS Run-time System)


Harris Ada Compiler, Version 7.1.1
Certificate Number: 900918W1.11028
Compiler Type: Derived

Host: Harris NH-4400, NH-4800, & NH-5800 (under CX/UX 7.1 & CX/RT 7.1)

Target: Any Host (using either Harris Ada Run-time System or ARMS Run-time System)


Harris Ada, Version 2.1
Certificate Number: 950606W1.11383
Compiler Type: Base

Host: Harris NH6202 (under PowerUX 2.1)

Target: Harris NH6202 (under PowerUX 2.1)


Control Data Systems, Inc.


1306 Orleans Drive, Sunnyvale, CA 94089-1135

Contact Kathy Sharp at Phone: (408)541-4200 or E-mail: kls@svl.cdc.com


NOS/VE Ada, Version 1.4
Certificate Number: 931217S1.11336
Compiler Type: Base

Host: CYBER 180-930-31 (under NOS/VE, Level 826)

Target: Same as Host


Cray Research, Inc.


500 Montezuma, Suite 118, Santa Fe, NM 87501

Contact Sylvia Crain at Phone: (505) 988-2468, ext. 30 or E-mail: svc@cray.com


Cray Ada Compiler Release 2.0
Certificate Number: 901112W1.11116
Compiler Type: Base

Host: Cray X-MP/EA (under UNICOS Release 5.0)

Target: Same as Host


Cray Ada Compiler Release 2.0
Certificate Number: 901112W1.11116
Compiler Type: Derived

Host: CRAY X-MP & X-MP/EA, all models (under UNICOS Releases 5.1, 6.0 & 6.1)

Target: Each Host, self-targeted


Cray Ada Compiler Release 2.0
Certificate Number: 901112W1.11117
Compiler Type: Base

Host: Cray Y-MP (under UNICOS Release 5.0)

Target: Same as Host


Cray Ada Compiler Release 2.0
Certificate Number: 901112W1.11117
Compiler Type: Derived

Host: CRAY Y-MP EL (under UNICOS Releases 6.0 & 6.1)

Target: Same as Host


Cray Ada Compiler Release 2.0
Certificate Number: 901112W1.11117
Compiler Type: Derived

Host: Cray Y-MP, all models (under UNICOS Releases 5.1, 6.0 & 6.1)

Target: Each Host, self-targeted


Cray Ada Compiler Release 2.0
Certificate Number: 911006W1.11223
Compiler Type: Base

Host: CRAY-2/4-128 (under UNICOS Release 6.1)

Target: Same as Host


Cray Ada Compiler Release 2.0
Certificate Number: 911006W1.11223
Compiler Type: Derived

Host: CRAY-2 (all models) (under UNICOS Release 6.1)

Target: Each Host, self-targeted


Cray Ada Compiler Release 3.0
Certificate Number: 901112W1.11116
Compiler Type: Derived

Host: X-MP/EA (all models) (under UNICOS Release 6.1)

Target: Same as Host


Cray Ada Compiler Release 3.0
Certificate Number: 901112W1.11117
Compiler Type: Derived

Host: CRAY Y-MP & Y-MP EL (all models) (under UNICOS Releases 6.1)

Target: Each Host, self-targeted


Cray Ada Compiler Release 3.0
Certificate Number: 911006W1.11223
Compiler Type: Derived

Host: CRAY-2/4-128 (all models) (under UNICOS Release 6.1)

Target: Each Host, self-targeted


Cray Ada Compiler Release 3.1
Certificate Number: 901112W1.11116
Compiler Type: Derived

Host: CRAY X-MP/EA & X-MP (all models) (under UNICOS Releases 6.1 & 7.0)

Target: Any Host


Cray Ada Compiler Release 3.1
Certificate Number: 901112W1.11117
Compiler Type: Derived

Host: CRAY Y-MP & Y-MP EL (all models) (under UNICOS Releases 6.1 & 7.0)

Target: Any Host


Cray Ada Compiler Release 3.1
Certificate Number: 901112W1.11117
Compiler Type: Derived

Host: CRAY C-90 (in Y-MP mode) (under UNICOS 7C.0)

Target: Same as Host


Cray Ada Compiler Release 3.1
Certificate Number: 911006W1.11223
Compiler Type: Derived

Host: CRAY CRAY-2/4-128 (all models) (under UNICOS Releases 6.1 & 7.0)

Target: Any Host


DDC-I, Inc.


Phoenix Office: 400 North 5th Street, Phoenix, AZ 85004 and , Copenhagen Office: GI.Lundtoftevej IB, Dk-2800 , Lyngby, Denmark,

Contact Jennifer Sanchez (Phoenix), Poul Munch (Copenhag) at Phone: 602/275-7172 (Ph), +45 45 87 11 44 (CO) or E-mail: sales@ddci.com


DACS Sun SPARC/Solaris to 680x0 Bare Ada Cross Compiler System (BASIC_MODE), Version 4.6.10
Certificate Number: 940325S1.11346
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCserver, SPARCclassic, & SPARCstation computer families (under Solaris 2.4)

Target: Lynwood j435TU (68030) (bare machine)


DACS DECstation/ULTRIX to MIPS R3000 Bare Ada Cross Compiler System, Release 2.1-16
Certificate Number: 920805S1.11264
Compiler Type: Base

Host: DECstation 3100 (under ULTRIX Version 4.0)

Target: Integrated Device Technology IDT7RS301 R3000/R3010 Board (bare machine)


DACS MIPS R3000 Bare Ada Cross Compiler System, Version 4.7.1
Certificate Number: 931119S1.11332
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.3)

Target: DACS Sun SPARC/SunOS to MIPS R3000 Bare Instruction Set Architecture Simulator, Version 4.7.1, executing on the Host (bare machine simulation)


DACS MIPS RISC/os to MIPS R3000 Bare Ada Cross Compiler System, Release 2.1-16
Certificate Number: 920805S1.11263
Compiler Type: Base

Host: MIPS M/120-5 (under RISC/os Version 4.50)

Target: Lockheed Sanders STAR MVP R3000/R3010 Board (bare machine)


DACS Sun SPARC/Solaris Native Ada Compiler System, Version 4.6.2
Certificate Number: 940325S1.11354
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: Same as Host


DACS Sun SPARC/Solaris to 680x0 Bare Ada Cross Compiler System (SECURE_MODE), Version 4.6.10
Certificate Number: 940325S1.11347
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCserver, SPARCclassic, & SPARCstation computer families (under Solaris 2.4)

Target: Lynwood j435TU (68030) (bare machine)


DACS Sun SPARC/Solaris to 80186 Bare Ada Cross Compiler System w/ Rate Monotonic Scheduling, V4.6.4
Certificate Number: 940325S1.11344
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: Intel iSBC 186/100 (bare machine)


DACS Sun SPARC/Solaris to 80186 Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11343
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: Intel iSBC 186/100 (bare machine)


DACS Sun SPARC/Solaris to 80386 PM Bare Ada Compiler System w/ Rate Monotonic Scheduling, V4.6.4
Certificate Number: 940325S1.11349
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: Intel iSBC 386/116 (bare machine)


DACS Sun SPARC/Solaris to 80386 PM Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11348
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: Intel iSBC 386/116 (bare machine)


DACS Sun SPARC/Solaris to Pentium PM Bare Ada Cross Compiler Sys. w/Rate Monotonic Scheduling, 4.6.4
Certificate Number: 940325S1.11353
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: IntelXpress Desktop (product # XBASE6E4F-B, with Pentium cpu, operating as a bare machine)


DACS Sun SPARC/Solaris to Pentium PM Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11352
Compiler Type: Base

Host: Sun SPARCclassic (under Solaris, Release 2.1)

Target: IntelXpress Desktop (product # XBASE6E4F-B, with Pentium cpu, operating as a bare machine)


DACS Sun SPARC/SunOS Native Ada Compiler System, Version 4.6.1
Certificate Number: 920805S1.11265
Compiler Type: Base

Host: SPARCstation 2 (under SunOS, Version 4.1.1)

Target: Same as Host


DACS Sun SPARC/SunOS to 680x0 Bare Ada Cross Compiler System (BASIC_MODE), Version 4.6.9
Certificate Number: 940325S1.11346
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.1)

Target: Lynwood j435TU (68030) (bare machine)


DACS Sun SPARC/SunOS to 680x0 Bare Ada Cross Compiler System (SECURE_MODE), Version 4.6.9
Certificate Number: 940325S1.11347
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.1)

Target: Lynwood j435TU (68030) (bare machine)


DACS Sun SPARC/SunOS to 680x0 Bare Ada Cross Compiler System, Version 4.6.9
Certificate Number: 940325S1.11345
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.1)

Target: Motorola MVME143 (68030/68882) (bare machine)


DACS Sun SPARC/SunOS to 80186 Bare Ada Cross Compiler System w/ Rate Monotonic Scheduling, V4.6.4
Certificate Number: 940325S1.11342
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.2)

Target: Intel iSBC 186/100 (bare machine)


DACS Sun SPARC/SunOS to 80186 Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11341
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.2)

Target: Intel iSBC 186/100 (bare machine)


DACS Sun SPARC/SunOS to 80386 PM Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 931119S1.11331
Compiler Type: Base

Host: Sun SPARCstation 1+ (under SunOS, Release 4.1.1)

Target: Intel iSBC 386/116 (bare machine)


DACS Sun SPARC/SunOS to Pentium PM Bare Ada Cross Compiler System w/Rate Monotonic Scheduling, 4.6.4
Certificate Number: 940325S1.11351
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.2)

Target: IntelXpress Desktop (product # XBASE6E4F-B, with Pentium cpu, operating as a bare machine)


DACS Sun SPARC/SunOS to Pentium PM Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11350
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.2)

Target: IntelXpress Desktop (product # XBASE6E4F-B, with Pentium cpu, operating as a bare machine)


DACS VAX/VMS to 80486 PM Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11074
Compiler Type: Derived

Host: VAX 8530 (under VMS Version 5.3)

Target: Intel iSBC 486/125 (bare machine)


InterACT Ada 1750A Compiler System, Release 3.5
Certificate Number: 910705S1.11191
Compiler Type: Base

Host: MicroVAX 3100 Cluster (under VMS 5.2)

Target: InterACT MIL-STD-1750A Instruction Set Architecture Simulator Release 2.3 (bare machine simulation)


InterACT Ada MIPS Cross-Compiler System, Release 2.0
Certificate Number: 910705S1.11192
Compiler Type: Base

Host: MicroVAX 3100 Cluster (under VMS 5.2)

Target: Lockheed Sanders STAR MVP R3000/R3010 Board (bare machine)


InterACT Ada MIPS Cross-Compiler System, Release 2.1
Certificate Number: 910705S1.11192
Compiler Type: Derived

Host: MicroVAX 3100 Cluster (under VMS 5.2)

Target: Lockheed Sanders STAR MVP R3000/R3010 Board (bare machine)


DDC-International A/S


(contact made through DDC-I, Inc.), DDC-I, Inc., 400 North 5th Street, Phoenix, AZ 85004

Contact Jennifer Sanchez at Phone: (602) 275-7172 or E-mail: jc%ddciiphx@uunet.uu.net


DACS 80386 DMS/OS Ada Compiler System, Version 4.6
Certificate Number: 901129S1.11112
Compiler Type: Base

Host: IBM PS/2 Model 80-311 (under LynxOS 386/PS2, Version 2.0A)

Target: Same as Host


DACS 80386 UNIX V Ada Compiler System, Version 4.6
Certificate Number: 901129S1.11075
Compiler Type: Base

Host: ICL DRS300 (under DRS/NX, Version 3.2 (UNIX System V/386 release 3.2))

Target: Same as Host


DACS PC/LynxOS Native Compiler System, Version 4.7.6
Certificate Number: 901129S1.11075
Compiler Type: Derived

Host: All IBM-compatible PCs, with 80386 or higher cpu (under LynxOS versions 2.3, 2.4, & 2.5)

Target: Any host.


DACS Sun SPARC/Solaris to 80386PM Bare Ada Cross Compiler System, Version 4.7.3
Certificate Number: 940325S1.11348
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCstation, SPARCserver computer families (under Solaris 2.4)

Target: Any single-board computer that uses the Intel 386EX cpu (bare machine)


DACS Sun SPARC/SunOS to 80186 Bare Ada Cross Compiler System w/ Rate Monotonic Scheduling, V4.6.4
Certificate Number: 940325S1.11342
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCserver, SPARCclassic, and SPARCstation computer families (under SunOS, Version 4.1)

Target: Intel iSBC 86/35 (bare machine)


DACS Sun SPARC/SunOS to 80186 Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11341
Compiler Type: Base

Host: Sun SPARCstation IPX (under SunOS, Release 4.1.2)

Target: Intel iSBC 186/100 (bare machine)


DACS Sun SPARC/SunOS to 80186 Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11341
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCserver, SPARCclassic, and SPARCstation computer families (under SunOS, Version 4.1)

Target: Intel iSBC 86/35 (bare machine)


DACS Sun SPARC/SunOS to 80386PM Bare Ada Cross Compiler System, Version 4.7.2
Certificate Number: 931119S1.11331
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCstation, SPARCclassic, & SPARCserver series of computers (under SunOS 4.1)

Target: Intel iSBC 386/116 (bare machine)


DACS Sun SPARC/SunOS to 80486 PM Bare Ada Cross Compiler System, Version 4.6.4
Certificate Number: 940325S1.11350
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCserver, SPARCclassic, and SPARCstation computer families (under SunOS, Version 4.1)

Target: Intel 80486 DX4 based in IBM PS/Valuepoint desktop (operated as a bare machine)


DACS Sun SPARC/SunOS to 80486PM Bare Ada Cross Compiler System, Version 4.7.2
Certificate Number: 931119S1.11331
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCstation, SPARCclassic, & SPARCserver series of computers (under SunOS 4.1)

Target: Intel iSBC 486/125 (bare machine)


DACS Sun-3/SunOS to 68030 Bare Ada Cross Compiler System, Version 4.6.4, MRI IEEE 695 (BASIC_MODE)
Certificate Number: 910502S1.11159
Compiler Type: Base

Host: Sun-3/50 (under SunOS Release 4.0_Export)

Target: Motorola MVME143 (68030/68882) board (bare machine)


DACS Sun-3/SunOS to 68030 Bare Ada Cross Compiler System, Version 4.6.4, MRI IEEE 695 (SECURE_MODE)
Certificate Number: 910502S1.11160
Compiler Type: Base

Host: Sun-3/50 (under SunOS Release 4.0_Export)

Target: Motorola MVME143 (68030/68882) board (bare machine)


DACS Sun-3/SunOS to 68030 Bare Ada Cross Compiler System, Version 4.6.9j, MRI IEEE 695 (BASIC-MODE)
Certificate Number: 910502S1.11159
Compiler Type: Derived

Host: Sun Microsystems Sun-3 computer families (under SunOS Version 4.0)

Target: Motorola MVME143 (68030/68882) board (bare machine)


DACS Sun-3/SunOS to 68030 Bare Ada Cross Compiler System, Version 4.6.9j, MRI IEEE 695 (SECURE_MODE)
Certificate Number: 910502S1.11160
Compiler Type: Derived

Host: Sun Microsystems Sun-3 computer families (under SunOS Version 4.0)

Target: Motorola MVME143 (68030/68882) board (bare machine)


DACS Sun3/SunOS Native Ada Compiler System, Version 4.6
Certificate Number: 901129S1.11076
Compiler Type: Base

Host: Sun-3/60 (under SunOS, Version 4.0_Export)

Target: Same as Host


DACS VAX/VMS Native Ada Compiler System, Version 4.6
Certificate Number: 901129S1.11050
Compiler Type: Base

Host: VAX 8530 (under VMS Version 5.3)

Target: Same as Host


DACS VAX/VMS to 68020 Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11051
Compiler Type: Base

Host: MicroVAX 3100 (under VMS Version 5.3)

Target: Motorola MVME133 board (68020/68881) (bare machine)


DACS VAX/VMS to 80186 Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6
Certificate Number: 901129S1.11077
Compiler Type: Base

Host: VAX 8530 (under VMS Version 5.3)

Target: Intel iSBC 186/03 (bare machine)


DACS VAX/VMS to 80186 Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6
Certificate Number: 901129S1.11077
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 186/03 (bare machine)


DACS VAX/VMS to 80186 Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11079
Compiler Type: Base

Host: VAX 8530 (under VMS Version 5.3)

Target: Intel iSBC 186/03 (bare machine)


DACS VAX/VMS to 80186 Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11079
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 186/03 (bare machine)


DACS VAX/VMS to 80186PM Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.7.2
Certificate Number: 901129S1.11077
Compiler Type: Derived

Host: DEC VAX, VAX-11, MicroVAX, VAXstation, VAXserver series of computers, and Raytheon Military VAX Model 860 (under VMS Versions 5.3, 5.4, & 5.5)

Target: Intel iSBC 186/03 (bare machine)


DACS VAX/VMS to 80186PM Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.7.2
Certificate Number: 901129S1.11079
Compiler Type: Derived

Host: DEC VAX, VAX-11, MicroVAX, VAXstation, VAXserver series of computers, and Raytheon Military VAX Model 860 (under VMS Versions 5.3, 5.4, & 5.5)

Target: Intel iSBC 186/03 (bare machine)


DACS VAX/VMS to 80286 Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6
Certificate Number: 901129S1.11077
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 286/12 (bare machine)


DACS VAX/VMS to 80286 Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11079
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 286/12 (bare machine)


DACS VAX/VMS to 80286 PM Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6
Certificate Number: 901129S1.11077
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 286/12 in Protected Mode (bare machine)


DACS VAX/VMS to 80286 PM Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11079
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 286/12 in Protected Mode (bare machine)


DACS VAX/VMS to 80386 Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6
Certificate Number: 901129S1.11078
Compiler Type: Base

Host: VAX 8530 (under VMS Version 5.3)

Target: Intel iSBC 386/21 (bare machine)


DACS VAX/VMS to 80386 PM Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11074
Compiler Type: Base

Host: VAX 8530 (under VMS Version 5.3)

Target: Intel iSBC 386/21 (bare machine)


DACS VAX/VMS to 80386PM Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.7.2
Certificate Number: 901129S1.11078
Compiler Type: Derived

Host: DEC VAX, VAX-11, MicroVAX, VAXstation, VAXserver series of computers, and Raytheon Military VAX Model 860 (under VMS Versions 5.3, 5.4, & 5.5)

Target: Intel iSBC 386/21 (bare machine)


DACS VAX/VMS to 80386PM Bare Ada Cross Compiler System, Version 4.7.2
Certificate Number: 901129S1.11074
Compiler Type: Derived

Host: DEC VAX, VAX-11, MicroVAX, VAXstation, VAXserver series of computers, and Raytheon Military VAX Model 860 (under VMS Versions 5.3, 5.4, & 5.5)

Target: Intel iSBC 386/21 (bare machine)


DACS VAX/VMS to 80486PM Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.7.2
Certificate Number: 901129S1.11078
Compiler Type: Derived

Host: DEC VAX, VAX-11, MicroVAX, VAXstation, VAXserver series of computers, and Raytheon Military VAX Model 860 (under VMS Versions 5.3, 5.4, & 5.5)

Target: Intel iSBC 486/125 (bare machine)


DACS VAX/VMS to 80486PM Bare Ada Cross Compiler System, Version 4.7.2
Certificate Number: 901129S1.11074
Compiler Type: Derived

Host: DEC VAX, VAX-11, MicroVAX, VAXstation, VAXserver series of computers, and Raytheon Military VAX Model 860 (under VMS Versions 5.3, 5.4, & 5.5)

Target: Intel iSBC 486/125 (bare machine)


DACS VAX/VMS to 8086 Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6
Certificate Number: 901129S1.11077
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 86/35 (bare machine)


DACS VAX/VMS to 8086 Bare Ada Cross Compiler System, Version 4.6
Certificate Number: 901129S1.11079
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 6000, VAX 8000 & VAX 9000 Series of computers, including Raytheon Military VAX computer model 860 (under VMS Version 5.3)

Target: Intel iSBC 86/35 (bare machine)


DACS VAX/VMS to 80860 Bare Ada Cross Compiler System, Version 4.6.1
Certificate Number: 910502S1.11158
Compiler Type: Base

Host: VAX 8530 (under VMS Version 5.3)

Target: Tadpole Technology plc TP860M (bare machine)


DACS-PC for Windows NT Ada Compiler System, Version 4.7.6
Certificate Number: 901129S1.11075
Compiler Type: Derived

Host: All IBM-compatible PCs, with 80386 or higher cpu (under Microsoft Windows NT versions 3.5.1 & 4.0)

Target: Any host.


DACS-PC for Windows NT to 80186 Bare Ada Cross Compiler System,
Certificate Number: 940325S1.11343
Compiler Type: Derived

Host: All IBM-compatible PCs, with 80386 or higher cpu (under Microsoft Windows NT versions 3.5.1 & 4.)

Target: Intel 80186 instruction set architecture boards (bare machine)


DACS-PC for Windows NT to 80386 PM Bare Ada Cross Compiler Sys, v4.7.6
Certificate Number: 940325S1.11348
Compiler Type: Derived

Host: All IBM-compatible PCs, with 80386 or higher cpu (under Microsoft Windows NT versions 3.5.1 & 4.)

Target: Intel 80186 instruction set architecture boards (Nbare machine)


DESC Ltd.


(formerly International Computers Limited), Jays Close, Viables Industrial Estate, Basingstoke, Hampshire, RG22 4BY, UNITED KINGDOM

Contact Les Fairbrother at Phone: +44 256 819711 or E-mail: (No e-mail address given)


VME Ada Compiler VA3.25
Certificate Number: 921008N1.11293
Compiler Type: Derived

Host: ICL Series 39 SX Systems (under Open VME Version 2)

Target: Any host


VME Ada Compiler, Version A3.20
Certificate Number: 921008N1.11293
Compiler Type: Derived

Host: ICL Series 39 Level 80 (under VME with VMEB Environment Option Version SV292)

Target: Same as Host


VME Ada Compiler, Version A3.25
Certificate Number: 921008N1.11293
Compiler Type: Derived

Host: ICL Series 39 Level 80 (under VME with VMEB Environment Option Version SV293)

Target: ICL Series 39 Level 80 & Series 39 SX Processor families (under VME with VMEB Environment Option Version SV293)


VME Ada Compiler, Version A3.25
Certificate Number: 921008N1.11293
Compiler Type: Derived

Host: ICL Series 39 Level 80 (under VME with VMEB Environment Option Version SV292)

Target: Same as Host


Digital Equipment Corporation (now Compaq)


MS: ZKO 2-2/O23, 110 Spit Brook Road, Nashua, NH 03062

Contact Cathy Axel at Phone: (603) 881-1413 or E-mail: axel@teamlk.enet.dec.com


DEC Ada Version 3.2 for OpenVMS VAX Systems
Certificate Number: 950609S1.11389
Compiler Type: Base

Host: VAXstation 4000 Model 60; VAX-11 (under OpenVMS VAX Operating System, Version 5.5)

Target: VAXstation 4000 Model 60; VAX-11 (under OpenVMS VAX Operating System, Version 5.5)


DEC Ada Version 3.2 for OpenVMS VAX Systems
Certificate Number: 950609S1.11389
Compiler Type: Derived

Host: All VAXft, VAX, MicroVAX, VAXstation, VAXserver series of computers (as supported) (under OpenVMS VAX Operating System, Version 5.5)

Target: Any Host


DEC Ada Version 3.2 for OpenVMS VAX Systems
Certificate Number: 950609S1.11390
Compiler Type: Base

Host: VAXstation 3100 Model 76; VAX-11 (under OpenVMS VAX Operating System, Version 6.2)

Target: VAXstation 3100 Model 76; VAX-11 (under OpenVMS VAX Operating System, Version 6.2)


DEC Ada Version 3.2 for OpenVMS VAX Systems
Certificate Number: 950609S1.11390
Compiler Type: Derived

Host: All VAXft, VAX-11, VAX, MicroVAX, VAXstation, & VAXserver series of computers (as supported) (under OpenVMS VAX Operating System, Version 66.2)

Target: Any Host


DEC Ada Version 3.3 for Digital UNIX
Certificate Number: 961213S1.11417
Compiler Type: Base

Host: DEC 3000 Model 400 under Digital UNIX Operating System, Version 4.0B

Target: DEC 3000 Model 400 under Digital UNIX Operation System, Version 4.0B


DEC Ada Version 3.3 for Digital UNIX Systems
Certificate Number: 961213S1.11417
Compiler Type: Derived

Host: AlphaServer 400, 1000, 1000A, 2000, 2100, 2100A, 4100, 8200, & 8400 Products; AlphaServer 2100 4/200 Product;AlphaStation 200, 250, 255, 400, 500, & 600 Products;DEC 2000, 3000, 4000, 7000, & 10000 Models(under Digital UNIX Operating System Version 4.0B)

Target: Any host


DEC Ada Version 3.3 for OpenVMS Alpha Systems
Certificate Number: 961213S1.11419
Compiler Type: Base

Host: DEC 3000 Model 600 Workstation under OpenVMS Alpha Operating System, Version 7.0

Target: DEC 3000 Model 600 Workstation under OpenVMS Alpha Operating System, Version 7.0


DEC Ada Version 3.3 for OpenVMS Alpha Systems
Certificate Number: 961213S1.11419
Compiler Type: Derived

Host: All members of a model series: AlphaServer 400 Products; AlphaServer 1000 Products; AlphaServer 2000 Products; AlphaServer 8000 Products; AlpaStation 200 Products; AlphaStation 400 Products; AlphaStation 600 Products; DEC 2000 Models; DEC 3000 Models; DEC 4000 Models, DEC 7000 Models, DEC 10000 Models, series of Digital Alpha Systems computers (as supported): Operating System: Open VMS Alpha Operating System Version 7.0

Target: All members of a model series: AlphaServer 400 Products; AlphaServer 1000 Products; AlphaServer 2000 Products; AlphaServer 8000 Products; AlpaStation 200 Products; AlphaStation 400 Products; AlphaStation 600 Products; DEC 2000 Models; DEC 3000 Models; DEC 4000 Models, DEC 7000 Models, DEC 10000 Models, series of Digital Alpha Systems computers (as supported): Operating System: Open VMS Alpha Operating System Version 7.0


DEC Ada Version 3.3 for OpenVMS VAX
Certificate Number: 961213S1.11418
Compiler Type: Base

Host: VAXstation 3100 Model 76 Workstation, OpenVMS VAX Operating System, Version 7.0

Target: VAXstation 3100 Model 76, Workstation, under OpenVMS VAX Operating System, Version 7.0


DEC Ada Version 3.3 for OpenVMS VAX Systems
Certificate Number: 961213S1.11418
Compiler Type: Derived

Host: All members of a model series: VAXft 3000 models, VAX 4000 models, VAX 6000 models, VAX 7000 models, VAX 8000 models, VAX 9000 models, VAX 10000 models, series of computers (as supported); MicroVAX II, MicroVAX 2000 Models, MicroVAX 3000 Models, series of computers (as supported); VAXstation II, VAXstation 2000 Models, VAXstation 3000 Models, VAXstation 4000 Models, series of computers (as supported); VAXserver 3000 Models, VAXserver 4000 Models, VAXserver 6000 Models, VAXserver 8000 Models, series of computers (as supported); Operating System: OpenVMS VAX Operating System Version 7.0

Target: All members of a model series: VAXft 3000 models, VAX 4000 models, VAX 6000 models, VAX 7000 models, VAX 8000 models, VAX 9000 models, VAX 10000 models, series of computers (as supported); MicroVAX II, MicroVAX 2000 Models, MicroVAX 3000 Models, series of computers (as supported); VAXstation II, VAXstation 2000 Models, VAXstation 3000 Models, VAXstation 4000 Models, series of computers (as supported); VAXserver 3000 Models, VAXserver 4000 Models, VAXserver 6000 Models, VAXserver 8000 Models, series of computers (as supported); Operating System: OpenVMS VAX Operating System Version 7.0


DEC Ada for DEC OSF/1 AXP Systems, Version 3.2
Certificate Number: 940929S1.11378
Compiler Type: Base

Host: DEC 2000 Server, 3000 Workstation and Server models, 4000, 7000, & 10000 series of AXP computers (under DEC OSF/1, Version 3.0 with patch OSFV30-010-1)

Target: Any Host


DEC Ada for DEC OSF/1 AXP Systems, Version 3.2
Certificate Number: 940929S1.11378
Compiler Type: Derived

Host: DEC 3000 Model 400 AXP Workstation (under DEC OSF/1, Version 3.0 with patch OSFV30-010-1)

Target: Same as Host


DEC Ada for Open VMS VAX Systems, Version 3.0A-9
Certificate Number: 930319S1.11316
Compiler Type: Derived

Host: VAXft, VAX 4000, 6000, 8000, 9000, & 10000; MicroVAX II, 2000, & 3000; VAXstation II, 2000, 3000, & 4000; VAXserver 3000, 4000, & 6000; and VAX-11 series of computers (as supported) (under OpenVMS VAX Operating System, Version 5.5)

Target: Any Host


DEC Ada for OpenVMS AXP Systems, Version 3.0A-7
Certificate Number: 930319S1.11315
Compiler Type: Derived

Host: DEC 2000 Server, 3000 Workstation and Server models, 4000, 7000, & 10000 series of AXP computers (as supported) (under OpenVMS AXP Operation System, Version 1.5)

Target: Any Host


DEC Ada for OpenVMS Alpha Systems, Version 3.2
Certificate Number: 950303S1.11381
Compiler Type: Base

Host: DEC 3000 Model 400 AXP Workstation (under OpenVMS Alpha Operating System, Version 6.1)

Target: Same as Host


DEC Ada for OpenVMS Alpha Systems, Version 3.2
Certificate Number: 950303S1.11381
Compiler Type: Derived

Host: Digital AlphaServer 200, 400, 1000, 2000, & 2100 Products; and DEC 2000, 3000, 4000, 7000, & 10000 series of Digital Alpha Systems computer families (under OpenVMS Alpha Operating System Version 6.1)

Target: Any Host


EDS-Scicon Limited (now EDS)


EDS, Software Engineering and Products,
Hartley House, 15 Bartley Wood Business Park, Bartley Way, Hook, Hants, UNITED KINGDOM RG27 9XA

Contact Sales at Phone: +44 (0)1256 741131 or E-mail: swep.sales@eds.com


XD Ada MC68040/ARTX, Version 1.2
Certificate Number: 921112N1.11297
Compiler Type: Base

Host: Local Area VAX Cluster (comprising VAXserver 3600, MicroVAX 2000 (2), & MicroVAX II machines) (under VMS 5.5)

Target: Motorola MVME167 (68040) (bare machine)


Electronic Data Systems Limited


EDS, Software Engineering and Products,
Hartley House, 15 Bartley Wood Business Park, Bartley Way, Hook, Hants, UNITED KINGDOM RG27 9XA

Contact Sales at Phone: +44 (0)1256 741131 or E-mail: swep.sales@eds.com


XD Ada CPU32 Version 2.1-01
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DEC Alpha 4000 (under OpenVMS AXP 6.2)

Target: Motorola M68340EVS Evaluation System, with 128k additional RAM & MC68881 fpu (bare machine)


XD Ada CPU32 Version 2.1-01
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX 6.2)

Target: Motorola M68340EVS Evaluation System, with 128k additional RAM & MC68881 fpu (bare machine)


XD Ada CPU32, Version 1.3-13
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola M68332EVS Evaluation System (MC68332) CPU32, with 128K additional RAM and MC68881 fpu (bare machine)


XD Ada CPU32/MC68332, Version 1.3-15
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DECstation 3100 (under ULTRIX 3.1)

Target: Same as Host


XD Ada CPU32/MC68332, Version 1.3-15
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola M68332EVS Evaluation System (MC68332) CPU32, with 128K additional RAM and MC68881 fpu (bare machine)


XD Ada CPU32/MC68332, Version 1.3-15
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola M68332EVS Evaluation System (MC68332) CPU32, with 128K additional RAM and MC68881 fpu (bare machine)


XD Ada CPU32/MC683332 Version 2.1-01
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX 6.2)

Target: Motorola M68332EVS Evaluation System, with 128k additional RAM & MC68881 fpu (bare machine)


XD Ada MC68000 Version 2.1-01
Certificate Number: 910314N1.11134
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX 6.2)

Target: Motorola MVME117-3FP (bare machine)


XD Ada MC68000, Version 1.3-12
Certificate Number: 910314N1.11134
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MC68000 on an MVME117-3FP MPU VME module using an MC68881 fpu (bare machine)


XD Ada MC68000/EFA, Version 1.3-27
Certificate Number: 910314N1.11134
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MC68000 on an MVME117-3FP MPU VME module using an MC68881 fpu (bare machine)


XD Ada MC68020 Version 2.0-10
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DEC Alpha 4000 (under OpenVMS AXP V1.5)

Target: Motorola MVME133XT (bare machine)


XD Ada MC68020 Version 2.1-01
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX 6.2)

Target: Motorola MVME133XT (bare machine)


XD Ada MC68020 Version 2.1-01
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: DEC Alpha 4000 (under OpenVMS AXP 6.2)

Target: Motorola MVME133XT (bare machine)


XD Ada MC68020, Version 1.3-10
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MVME133XT board (68020/68882)


XD Ada MC68020/ARTX Version 2.1-01
Certificate Number: 910911N1.11199
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX V6.2)

Target: Motorola MVME147S-1 (bare machine, using ARTX Real Time Executive)


XD Ada MC68020/ARTX, Version 1.3-23
Certificate Number: 910911N1.11199
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MVME147S-1 (68030) (bare machine using the ARTX Real Time Executive)


XD Ada MC68020/EFA, Version 1.3-28
Certificate Number: 901007N1.11042
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MVME135-1 board (68020/68881) (bare machine)


XD Ada MC68040 Version 2.0-12
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: DEC Alpha 4000 (under OpenVMS AXP V1.5)

Target: Motorola MVME167 (bare machine)


XD Ada MC68040 Version 2.1-01
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX V6.2)

Target: Motorola MVME167 (bare machine)


XD Ada MC68040 Version 2.1-01
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: DEC Alpha 4000 (under OpenVMS AXP V6.2)

Target: Motorola MVME167 (bare machine)


XD Ada MC68040, Version1.3-37
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MVME167 MPU VMEmodule (68040) (bare machine)


XD Ada MC68040/ARTX Version 2.1-01
Certificate Number: 921112N1.11297
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX V6.2)

Target: Motorola MVME167 (bare machine, using ARTX Real Time Executive)


XD Ada MC68040/ARTX, Version 1.3-24
Certificate Number: 921112N1.11297
Compiler Type: Derived

Host: MicroVAX 3100 (under VMS 6.0)

Target: Motorola MVME167 (68040) (bare machine, using ARTX Real Time Executive)


XD Ada MC68060 Version 2.0-14
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: DEC Alpha 4000 (under Open VMS AXP V1.5)

Target: Motorola MVME177 (bare machine)


XD Ada MC68060 Version 2.0-18
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: MicroVAX 3100 (Under OpenVMS VAX V6.0)

Target: Motorola MVME177 (bare machine)


XD Ada MC68060 Version 2.1-01
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: DEC Alpha 4000 (under OpenVMS AXP V6.2)

Target: Motorola MVME177 (bare machine)


XD Ada MC68060 Version 2.1-01
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS GVAX 6.2)

Target: Motorola MVME177 (bare machine)


XD Ada MC68060/ARTX Version 2.1-01
Certificate Number: 921112N1.11297
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX V6.2)

Target: Motorola MVME177 (bare machine, using ARTX Real Time Executive)


XD Ada MC68060/PME68-264, Version 2.0-24
Certificate Number: 911128N1.11230
Compiler Type: Derived

Host: MicroVAX 3100 Model 80, (under OpenVMS VAX 6.2)

Target: Radstone PME68-264 Dual HCI processor (MC68060), (bare machine)


XD Ada MIL-STD-1750A Version 2.1-01
Certificate Number: 901214N1.11080
Compiler Type: Derived

Host: DEC MicroVAX 3100 (under OpenVMS VAX 6.2)

Target: Fairchild F9450 (MIL-STD-1750A) on an SBC-50 board (bare machine)


Encore Computer Corporation


6901 W. Sunrise Blvd., Ft. Lauderdale, FL 33313

Contact Gary Beerman at Phone: (305) 587-2900, ext. 2360 or E-mail: (No e-mail address given)


Parallel Ada Development System, Revision 1.0
Certificate Number: 910130W1.11114
Compiler Type: Base

Host: Encore 91 Series Model 91-0340 (under UMAX 3.0)

Target: Same as Host


Parallel Ada Development System, Revision 1.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0)

Target: Any Host


Parallel Ada Development System, Revision 1.0
Certificate Number: 910130W1.11115
Compiler Type: Base

Host: Encore 91 Series Model 91-0340 (under UMAX 3.0)

Target: Encore 91 Series Model 91-0430 (under uMPX 1.0)


Parallel Ada Development System, Revision 1.0
Certificate Number: 910130W1.11115
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0)

Target: Encore 91 Series, all models (under microMPX 1.0)


Parallel Ada Development System, Revision 2.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore 91, 93, & 94 Series, all models (under UMAX 3.0)

Target: Any Host


Parallel Ada Development System, Revision 2.0
Certificate Number: 910130W1.11115
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0)

Target: Encore 91 Series, all models (under microMPX 1.0 & microARTE 1.0)


Parallel Ada Development System, Revision 2.2.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore Infinity 90 Series, all models (under UMAX 3.0.X)

Target: Any Host


Parallel Ada Development System, Revision 2.2.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore 93 Series, all models (under UMAX 3.1.X)

Target: Any Host


Parallel Ada Development System, Revision 2.2.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0.X)

Target: Any Host


Parallel Ada Development System, Revision 2.2.0
Certificate Number: 910130W1.11115
Compiler Type: Derived

Host: Encore 93 Series, all models (under UMAX 3.1.X)

Target: Any Host machine (under MicroARTE 1.2.0)


Parallel Ada Development System, Revision 2.2.0
Certificate Number: 910130W1.11115
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0.X)

Target: Any Host machine (under MicroARTE 1.2.0)


Parallel Ada Development System, Revision 2.3.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore Infinity 90 Series, all models (under UNMAX 3.0.X)

Target: Any Host


Parallel Ada Development System, Revision 2.3.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0.X)

Target: Any Host


Parallel Ada Development System, Revision 2.3.0
Certificate Number: 910130W1.11114
Compiler Type: Derived

Host: Encore Infinity R/T series, all models (under UMAX 3.0.X)

Target: Any Host


Parallel Ada Development System, Revision 2.3.0
Certificate Number: 910130W1.11115
Compiler Type: Derived

Host: Encore Infinity R/T series, all models (under UMAX 3.0.X)

Target: Any Host machine (under ARTE 2.0.0)


Parallel Ada Development System, Revision 2.3.0
Certificate Number: 910130W1.11115
Compiler Type: Derived

Host: Encore 91 Series, all models (under UMAX 3.0.X)

Target: Any Host machine (under ARTE Target Runtime 2.0.0)


GSE Gesellschaft fur Software Engineering mbH


Brabanter Strasse 4, 80805 Munchen, GERMANY

Contact Michael Meier-Schulz at Phone: +49-89 36008-213 or E-mail: (No e-mail address given)


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11180
Compiler Type: Base

Host: MIPS M/120 RISComputer (under UMIPS 4.51)

Target: Same as Host


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11182
Compiler Type: Base

Host: IBM RISC System 6000/520 (under AIX Version 3)

Target: Same as Host


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11184
Compiler Type: Base

Host: HP 9000 Series 400 Model 400T (under HP-UX 7.03)

Target: Same as Host


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11186
Compiler Type: Base

Host: Concurrent Computer Corporation M6000 Model 6450 (under RTU 5.0C)

Target: Same as Host


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11187
Compiler Type: Base

Host: Concurrent Computer Corporation M8000 Model 8500 (under RTU 5.1A)

Target: Same as Host


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11188
Compiler Type: Base

Host: Data General AViiON 400 Model 402 (under DG/UX 4.31)

Target: Same as Host


Meridian Ada, Version 4.1
Certificate Number: 910711W1.11190
Compiler Type: Base

Host: HP 9000 Series 700 Model 720 (under HP-UX 8.01)

Target: Same as Host


Green Hills Software, Inc.


Suite 506, 2708 Alternate 19N, Palm Harbor, FL 34683

Contact Patrick Rodenbeck at Phone: (813) 781-4909 or E-mail: pat@ghs.com


Green Hills Optimizing Ada Compiler, Version 1.8.7
Certificate Number: 940223W1.11338
Compiler Type: Base

Host: SPARCstation 10 (under SunOS, Release 4.1.3)

Target: Same as Host


Green Hills Optimizing Ada Compiler, Version 1.8.7
Certificate Number: 940223W1.11339
Compiler Type: Base

Host: SPARCstation 10 (under SunOS, Release 4.1.3)

Target: Force CPU-40 (68040) (bare machine using VxWorks, 5.1)


Green Hills Optimizing Ada Compiler, Version 1.8.7B
Certificate Number: 950615W1.11384
Compiler Type: Base

Host: SPARCstation 10 (under SunOS, Release 4.1.3)

Target: AST Bravo 386 (VxWorks 5.1)


Green Hills Optimizing Ada Compiler, Version 1.8.7B
Certificate Number: 950615W1.11385
Compiler Type: Base

Host: SPARCstation 10 (under SunOS, Release 4.1.3)

Target: Motorola MVME 1603 (PowerPC 603) (VxWorks 5.2)


Green Hills Optimizing Ada Compiler, Version 1.8.7B
Certificate Number: 950615W1.11386
Compiler Type: Base

Host: SPARCstation 10 (under SunOS, Release 4.1.3)

Target: Heurikon Malibu (R3081) (VxWorks 5.1)


Green Hills Optimizing Ada Compiler, Version 1.8.7B
Certificate Number: 950615W1.11387
Compiler Type: Base

Host: SPARCstation 10 (under SunOS, Version 4.1.3)

Target: Heurikon R4600 Laguna (VxWorks 5.1)


Green Hills Optimizing Ada Compiler, Version 1.8.7B
Certificate Number: 950615W1.11388
Compiler Type: Base

Host: SPARCstation 5 (under Solaris 2.4)

Target: SPARCstation 5 (under Solaris 2.4)


Green Valley Software


Building 13 Wanmingyuan, Fuchengmenwai, Beijing 100037, CHINA

Contact Li Xin at Phone: (01) 8342706, 8313399-3406 or E-mail: (No e-mail address given)


C_Ada, Version 1.1
Certificate Number: 930927S1.11328
Compiler Type: Base

Host: ZENY 386 (under UNIX System V/386, Release 3.2)

Target: Same as Host


Hewlett-Packard Company


(Hewlett-Packard Ada products are now Thomson Software Products), Thomson Software Products (now Aonix), 10251 Vista Sorrento Parkway, Suite 300, San Diego, CA 92121

Contact Marianne Worley at Phone: (619) 457-2700, ext. 244 or E-mail: adainfo@thomsoft.com


Domain Ada, Version 6.0m
Certificate Number: 910411W1.11137
Compiler Type: Base

Host: DN4500 (under Domain/OS SR10.3)

Target: Same as Host


Domain Ada, Version 6.0p
Certificate Number: 910411W1.11138
Compiler Type: Base

Host: DN10000 (under Domain/OS SR10.3.p)

Target: Same as Host


HP 9000 Series 300 Ada Compiler, Version 5.35
Certificate Number: 901022W1.11049
Compiler Type: Base

Host: HP 9000 Series 300 Model 370 (under HP-UX, Version A.07.00)

Target: Same as Host


HP 9000 Series 300 Ada Compiler, Version 5.35
Certificate Number: 901022W1.11049
Compiler Type: Derived

Host: HP 9000 Series 300 & 400, all models (under HP-UX, Version A.B7.03)

Target: Any Host


HP 9000 Series 300 Ada Compiler, Version 5.35t
Certificate Number: 901022W1.11049
Compiler Type: Derived

Host: HP 9000 Series 300 & 400, all Models (under HP-UX, Versions A.B7.00 (release 7.0), A.B7.03 (release 7.3), A.B7.05 (release 7.5) & A.B8.00 (release 8.0), as supported)

Target: Any Host from the same Series, under the same OS version


IBM Canada, Ltd.


(IBM Canada Ada products are now OC Systems), OC Systems, 9990 Lee Highway, Suite 270, Fairfax, VA 22030

Contact Oliver E. Cole at Phone: (703) 359-8160 or E-mail: info@ocsystems.com


AIX Ada/6000 Internal Development Version
Certificate Number: 920121W1.11234
Compiler Type: Base

Host: RISC System/6000 model 7012-320 (under AIX 3.2)

Target: Same as Host


AIX Ada/6000 Release 2, Preliminary Version
Certificate Number: 901127W1.11085
Compiler Type: Base

Host: RISC System/6000 model 7013-530 (under AIX 3.1)

Target: Same as Host


AIX Ada/6000 Release 2.0
Certificate Number: 901127W1.11085
Compiler Type: Derived

Host: RISC System/6000 models 7013-320, -520, -530, -540, -550, -730 & -930 (under AIX 3.1)

Target: Any Host


AIX Ada/6000 Release 2.2
Certificate Number: 901127W1.11085
Compiler Type: Derived

Host: RISC System/6000 models 7013-320, -520, -530, -540, -550, -730, & -930 (under AIX 3.1 & 3.2)

Target: Any Host, running same AIX version as Host


AIX Ada/6000 Release 3.0
Certificate Number: 920121W1.11234
Compiler Type: Derived

Host: RISC System/6000, all models (under AIX 3.2)

Target: Any Host


OCS Legacy Ada/370 MVS, Version 2.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 937x, 43xx, 308x, 3090, and ES/9000 processors (under MVS/ESA 3.1.0, 4.1.0, & 4.3.0; & MVS/SP XA 2.2)

Target: Same as Host


OCS Legacy Ada/6000, Version 1.4
Certificate Number: 920121W1.11234
Compiler Type: Derived

Host: IBM RS/6000 series (all models) (under AIX Version 3.2)

Target: Same as Host


XL Ada/6000 Internal Development Version
Certificate Number: 921119W1.11299
Compiler Type: Base

Host: RISC System/6000, model 7013-520 (under AIX 3.2)

Target: Same as Host


IBM Corporation


(IBM Corp. Ada products are now OC Systems), OC Systems, 9990 Lee Highway, Suite 270, Fairfax, VA 22030

Contact Oliver E. Cole at Phone: (703) 359-8160 or E-mail: info@ocsystems.com


IBM Ada/370 MVS Compiler, Version 1.4.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 3090 (under MVS/ESA 3.1.0, 4.1.0, & 4.2.0, & MVS/SP XA 2.2)

Target: IBM 937x, 43xx, 308x 8090, & ES/9000 processors (under same OS as Host)


IBM Ada/370, VM/CMS Ada Compiler, Version 1.4.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 3084 (under VM/ESA 1.1.0(370 Feature)); IBM 3090 (under VM/ESA 1.1.0(ESA Feature), VM/ESA 1.1.1, VM/XA 2.1, & VM/SP HPO 5.0 & 6.0)

Target: IBM 937x, 43xx, 308x 8090, & ES/9000 processors (under same OS as Host)


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11091
Compiler Type: Base

Host: IBM 3083 (under VM/SP HPO Release 5.0)

Target: Same as Host


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11091
Compiler Type: Derived

Host: IBM 3090 (under VM/XA Release 2.1)

Target: Same as Host


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11091
Compiler Type: Derived

Host: IBM 3090 (under VM/ESA Release 1.0 ESA Feature)

Target: Same as Host


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11091
Compiler Type: Derived

Host: IBM 3090 (under VM/SP Release 6.0 HPO 60)

Target: Same as Host


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11091
Compiler Type: Derived

Host: IBM 3084 (under VM/ESA Release 1.0 370 Feature)

Target: Same as Host


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11092
Compiler Type: Base

Host: IBM 4381 (under MVS/XA Release 3.8)

Target: Same as Host


IBM Ada/370, Version 1.1.0
Certificate Number: 901128W1.11092
Compiler Type: Derived

Host: IBM 3090 (under MVS/ESA Release 4.1)

Target: Same as Host


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 3084 (under VM/ESA 1.1.0 (370 Feature))

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (under VM/ESA 1.1.0 (370 Feature))


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 3090 (under VM/ESA 1.1.0 (ESA Feature))

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (under VM/ESA 1.1.0 (ESA Feature))


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 3090 (under VM/ESA 1.1.1)

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (under VM/ESA 1.1.1)


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 3090 (under VM/XA 2.1)

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (under VM/XA 2.1)


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 3090 (under VM/SP HPO 6.0)

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (under VM/SP HPO 6.0)


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 3090 (under MVS/ESA Release 4.1.0)

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (MVS/ESA Release 4.1.0)


IBM Ada/370, Version 1.2.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 3090 (under MVS/ESA Release 4.2.0)

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (MVS/ESA Release 4.2.0)


IBM Ada/370, Version 1.2.0 (optimized)
Certificate Number: 910612W1.11166
Compiler Type: Base

Host: IBM 3083 (under VM/SP HPO Release 5.0)

Target: Same as Host


IBM Ada/370, Version 1.2.0 (optimized)
Certificate Number: 910612W1.11167
Compiler Type: Base

Host: IBM 4381 (under MVS/ESA Release 3.1)

Target: Same as Host


IBM Ada/370, Version 1.2.0 (unoptimized)
Certificate Number: 910612W1.11168
Compiler Type: Base

Host: IBM 3083 (under VM/SP HPO Release 5.0)

Target: Same as Host


IBM Ada/370, Version 1.2.0 (unoptimized)
Certificate Number: 910612W1.11169
Compiler Type: Base

Host: IBM 4381 (under MVS/ESA Release 3.1)

Target: Same as Host


IBM Ada/370, Version 1.3.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 4381 (under MVS/ESA 3.1.0)

Target: IBM 937x, 43xx, 308x, 3090, & ES/9000 computers (under same OS as Host)


IBM Ada/370, Version 1.3.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 3090 (under MVS/ESA 4.1.0 & 4.2.0)

Target: IBM 937x, 43xx, 308x, 3090, & ES/9000 computers (under same OS as Host)


IBM Ada/370, Versions 1.2.0 & 1.3.0
Certificate Number: 910612W1.11169
Compiler Type: Derived

Host: IBM 3090 (under MVS/SP XA 2.2)

Target: IBM 937x, 43xx, 308x, 3090 & ES/9000 processors (under MVS/SP XA 2.2)


Intel Corporation


Military Division, 5000 W. Chandler Boulevard, MS: SP1-82, Chandler, AZ 85226

Contact Kevin Priest at Phone: (602) 554-2420 or E-mail: kpriest@az.intel.com


iPSC/860 Ada Release 6.1.0(E) UNIX System V/860, Release 4, Version 3, 312425-0001
Certificate Number: 920513W1.11255
Compiler Type: Base

Host: Intel i860 Station (under Unix System V/860, Version 4)

Target: Intel iPSC/860 (under Ada-NX, Release 3.3.1)


Intermetrics
(now SofCheck, Inc.)

11 Cypress Drive, Burlington, MA 01803

Contact S. Tucker Taft at Phone: (781) 750-8068 or E-mail: Info@sofcheck.com


Intermetrics MVS Ada Compiler, Version 7.0
Certificate Number: 910622W1.11170
Compiler Type: Base

Host: Amdahl 5890/180E (under MVS/XA Release 2.2)

Target: Same as Host


Intermetrics MVS Ada Compiler, Version 8.1
Certificate Number: 910622W1.11170
Compiler Type: Derived

Host: Amdahl 5890/180E (under MVS/XA Release 2.2)

Target: Same as Host


RISCAE Honeywell RH32-targeted Ada Compiler, Version 1.0
Certificate Number: 930901W1.11322
Compiler Type: Base

Host: VAXstation 4000 (under VMS 5.5)

Target: RISCAE Honeywell RH32 Simulator (bare machine simulation, executing on the Host)


RISCAE TRW RH32-targeted Ada Compiler, Version 1.0
Certificate Number: 930901W1.11321
Compiler Type: Base

Host: VAXstation 4000 (under VMS 5.5)

Target: RISCAE TRW RH32 Simulator (bare machine simulation, executing on the Host)


UTS Ada Compiler, Version 302.03
Certificate Number: 910425W1.11141
Compiler Type: Base

Host: IBM 3083 (under UTS 580 Release 1.2.3)

Target: Same as Host


International Computers Limited


(now DESC Ltd.), DESC Ltd., Jays Close/Viables Industrial Estate, Basingstoke, Hampshire, RG22 4BY, UNITED KINGDOM

Contact Les Fairbrother at Phone: +44 256 819711 or E-mail: (No e-mail address given)


VME Ada Compiler, Version A3.00
Certificate Number: 911003N1.11222
Compiler Type: Base

Host: ICL Series 39 Level 80 (under VME with VMEB Environment Option Version SV291)

Target: Same as Host


VME Ada Compiler, Version A3.10
Certificate Number: 921008N1.11293
Compiler Type: Base

Host: ICL Series 39 Level 80 (under VME with VMEB Environment Option Version SV292)

Target: Same as Host


Irvine Compiler Corporation


15707 Rockfield Blvd, Suite 305, Irvine, CA 92618-2829

Contact Joe Kohli at Phone: (949) 609-4650, ext. 210 or E-mail: info@irvine.com


ICC Ada for HP 9000 Series 300/400, Version 7.4
Certificate Number: 910510W1.11147
Compiler Type: Derived

Host: HP 9000 Series 300 & 400, all Models (under HP-UX Version A.B8.05 (release 8.05))

Target: Any Host


ICC Ada for HP 9000 Series 700/800, Version 7.4
Certificate Number: 910510W1.11145
Compiler Type: Derived

Host: HP 9000 Series 700 & 800, all Models (under HP-UX Version A.B8.05 (release 8.05))

Target: Any Host


ICC Ada for HP 9000 Series 700/800, Version 7.4
Certificate Number: 910510W1.11145
Compiler Type: Derived

Host: HP 9000 Series 700 & 800, all models (under HP-UX Versions 8.0 & 9.0, all releases; and HP-UX BLS Version 8.0, all releases)

Target: Same as Host


ICC Ada for Sun3, Version 7.4
Certificate Number: 910510W1.11146
Compiler Type: Derived

Host: Sun Microsystems Sun-3 computer family (under SunOS 4.0 & 4.1)

Target: Any Host


ICC Ada for i960MC, Version 7.4
Certificate Number: 910510W1.11148
Compiler Type: Derived

Host: Sun Microsystems Sun-3 computers, all models (under SunOS version 4.1.2 & Solaris version 1.0.1, all releases)

Target: Intel i960MC, with/without ICE960 on an Intel EXV80960MC board; any single-board computer using the i960 chip; & Intel i060 simulator, executing on the Host (bare machines)


ICC Ada for i960MC, Version 7.4
Certificate Number: 910510W1.11148
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 4000, VAX 6000, VAX 8000, VAX 9000, & VAX 10000 series of computers (under VMS 5.4)

Target: Intel i960MC, with/without ICE960 on an Intel EXV80960MC board; any single-board computer using the i960 chip; & Intel i060 simulator, executing on the Host (bare machines)


ICC Ada for i960MC, Version 7.4
Certificate Number: 910510W1.11148
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCstation, & SPARCserver computers, all models (under SunOS version 4.1.2 & Solaris version 1.0.1, all releases)

Target: Intel i960MC, with/without ICE960 on an Intel EXV80960MC board; any single-board computer using the i960 chip; & Intel i060 simulator, executing on the Host (bare machines)


ICC Ada for i960MC, Version 7.4
Certificate Number: 910510W1.11148
Compiler Type: Derived

Host: HP 9000 Series 300 & 400, all models (under HP-UX Version 8.0, all releases)

Target: Intel i960MC, with/without ICE960 on an Intel EXV80960MC board; any single-board computer using the i960 chip; & Intel i060 simulator, executing on the Host (bare machines)


ICC Ada for i960MC, Version 7.4
Certificate Number: 910510W1.11148
Compiler Type: Derived

Host: HP 9000 Series 700, all models (under HP-UX Version 8.0, all releases)

Target: Intel i960MC, with/without ICE960 on an Intel EXV80960MC board; any single-board computer using the i960 chip; & Intel i060 simulator, executing on the Host (bare machines)


ICC Ada for i960MM and i960MX, Version 7.4
Certificate Number: 920520I1.11260
Compiler Type: Derived

Host: Sun Microsystems Sun-3 computers, all models (under SunOS version 4.1.2 & Solaris version 1.0.1, all releases)

Target: Intel i960MM & i960MX with/without ICE960, on a TRONIX PI960MX-JXV JIAWG Execution Vehicle board; any single-board computer using the 960MM/MX superscalar chip; & Intel i060 simulator, executing on the Host (bare machine)


ICC Ada for i960MM and i960MX, Version 7.4
Certificate Number: 920520I1.11260
Compiler Type: Derived

Host: HP 9000 Series 300 & 400, all models (under HP-UX Version 8.0, all releases)

Target: Intel i960MM & i960MX with/without ICE960, on a TRONIX PI960MX-JXV JIAWG Execution Vehicle board; any single-board computer using the 960MM/MX superscalar chip; & Intel i060 simulator, executing on the Host (bare machine)


ICC Ada for i960MM and i960MX, Version 7.4
Certificate Number: 920520I1.11260
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCstation, & SPARCserver computers, all models (under SunOS version 4.1.2 & Solaris version 1.0.1, all releases)

Target: Intel i960MM & i960MX with/without ICE960, on a TRONIX PI960MX-JXV JIAWG Execution Vehicle board; any single-board computer using the 960MM/MX superscalar chip; & Intel i060 simulator, executing on the Host (bare machine)


ICC Ada for i960MM and i960MX, Version 7.4
Certificate Number: 920520I1.11260
Compiler Type: Derived

Host: HP 9000 Series 700, all models (under HP-UX Version 8.0, all releases)

Target: Intel i960MM & i960MX with/without ICE960, on a TRONIX PI960MX-JXV JIAWG Execution Vehicle board; any single-board computer using the 960MM/MX superscalar chip; & Intel i060 simulator, executing on the Host (bare machine)


ICC Ada for i960MX and i960MM, Version 7.4
Certificate Number: 920520I1.11260
Compiler Type: Derived

Host: DEC VAX-11, VAXserver, VAXstation, MicroVAX, VAX 4000, VAX 6000, VAX 8000, VAX 9000, & VAX 10000 Series of computers (under VMS 5.4)

Target: Intel i960MM & i960MX on a TRONIX PI960MX-JXV JIAWG Execution Vehicle board; any single-board computer using the 960MM/MX superscalar chip; & Intel i060 simulator, executing on the Host (bare machine)


ICC Ada for i960XA, Version 7.5
Certificate Number: 910510W1.11148
Compiler Type: Derived

Host: DEC VAX-11, MicroVAX, VAXserver, VAXstation, VAXft; and VAX 4000, 6000, 7000, 8000, 9000, & 10000 series of computers (under VMS 5.4)

Target: Intel i960XA, with/without ICE960 on an Intel EXV80960XA board; any single-board computer using the i960 chip; & Intel i960XA simulator, executing on the Host (bare machines)


ICC Ada, Version 7.0.0
Certificate Number: 910510W1.11145
Compiler Type: Base

Host: HP 9000 Model 720 (under HP-UX Release 8.01)

Target: Same as Host


ICC Ada, Version 7.0.0
Certificate Number: 910510W1.11146
Compiler Type: Base

Host: Sun 3/50 (under SunOS V4.0)

Target: Same as Host


ICC Ada, Version 7.0.0
Certificate Number: 910510W1.11147
Compiler Type: Base

Host: HP 9000 Model 400 (under HP-UX Release 7.03)

Target: Same as Host


ICC Ada, Version 7.0.0
Certificate Number: 910510W1.11148
Compiler Type: Base

Host: VAXstation 3100 Model M38 (under VMS 5.3-1)

Target: Intel i80960MC (bare machine)


ICC Ada, Version 7.4.0
Certificate Number: 920520I1.11260
Compiler Type: Base

Host: VAXstation 3100 Model M38 (under VMS Version 5.3-1)

Target: Intel i960MX in Hughes DMV running in tagged mode (bare machine, using CHKSYS kernel version 104)


MIPS Computer Software Systems


(now Rational, DDC-I, & Green Hill Software), (see Rational, DDC-I, & Green Hill Software),

Contact


MIPS ASAPP, Version 3.0
Certificate Number: 900619W1.11010
Compiler Type: Base

Host: MIPS M/2000 (under RISC/os 4.50)

Target: R3200-6 CPU board (bare machine)


MIPS Ada, Version 3.0
Certificate Number: 900619W1.11011
Compiler Type: Base

Host: MIPS M/2000 (under RISC/os 4.50)

Target: Same as Host


Multiprocessor Toolsmiths, Inc.


302 Legget Drive, Suite 200, Kanata, Ontario, K2K 1Y5 CANADA

Contact Kim Rowe at Phone: (613) 599-6565 or E-mail: (No e-mail address given)


CASEWorks/RT Ada MC680x0, Version 1.1
Certificate Number: 930722W1.11319
Compiler Type: Base

Host: Sun SPARCstation 10 (under SunOS 4.1.3)

Target: Motorola MVME147 (bare machine)


CASEWorks/RT Ada for the Sun SPARCStation, Version 1.1
Certificate Number: 930722W1.11318
Compiler Type: Base

Host: Sun SPARCstation 10 (under SunOS 4.1.3)

Target: Same as Host


CASEWorks/RT Ada for the Sun SPARCStation, Version 1.1
Certificate Number: 930722W1.11318
Compiler Type: Derived

Host: Sun Microsystems SPARCstation series (under SunOS 4.11, 4.1.2, & 4.1.3)

Target: Any Host


CASEWorks/RT Ada for the Sun SPARCStation, Version 1.1
Certificate Number: 930722W1.11319
Compiler Type: Derived

Host: Sun Microsystems SPARCstation series (under SunOS 4.11, 4.1.2, & 4.1.3)

Target: Any MC68020-, MC68030-, & MC68040-based single-board computer (bare machine, using Unison 3.1)


CASEWorks/RT Ada i860, Version 1.1
Certificate Number: 930722W1.11320
Compiler Type: Base

Host: Sun SPARCstation 2 (under SunOS 4.1.1)

Target: CSPI Supercard II (Intel 80860) with VSB daughterboard (bare machine)


CASEWorks/RT Ada i860, Version 1.1
Certificate Number: 930722W1.11320
Compiler Type: Derived

Host: Sun Microsystems SPARCstation series (under SunOS 4.11, 4.1.2, & 4.1.3)

Target: CSPI Supercard 2 with VSB daughterboard, CSPI Supercard 3 with VSB daughterboard, CSPI Supercard 3XL with VSB daughterboard, & CSPI Supercard 4 with VSB daughterboard (bare machines, using Unison/pSOS+ 3.1)


NEC Corporation, Environment Systems Dept.


Basic Software Laboratory, C&C Common Software Development Laboratory, Shibaura 2-11-5, Minato-ku, Tokyo 108, JAPAN

Contact Shin-ichi Morimoto at Phone: +81-3-5476-1105 or E-mail: morimoto@ccs.mt.nec.co.jp


NEC Ada Compiler System for EWS-UX/V (Release 4.0), Version Release 2.1 (4.6)
Certificate Number: 910918S1.11216
Compiler Type: Base

Host: NEC EWS4800/220 (under EWS-UX/V (Release 4.0) R2.1)

Target: Same as Host


NEC Ada Compiler System for EWS-UX/V to V70/RX-UX832, Version 1.0
Certificate Number: 910918S1.11217
Compiler Type: Base

Host: NEC EWS4800/60 (under EWS-UX/V R8.1)

Target: NEC MV4000 (under RX-UX832 V1.6)


NEC Ada Compiler System for EWS-UX/V(Release 4.0) to V70/RX-UX832 Version Release 4.1 (4.6.4)
Certificate Number: 910918S1.11217
Compiler Type: Derived

Host: EWS4800 Superstation RISC Series (under EWS-UX/V(R4.0) R6.2)

Target: NEC MV4000 (under RX-UX832 V1.63)


NEC Ada Compiler System, Version Release 4.1 (4.6.4)
Certificate Number: 910918S1.11216
Compiler Type: Derived

Host: UP4800 Series models 520, 605, 620, 625, 630, & 635 (under UP-UX/V R4.1) EWS4800 Superstation RISC Series (all EWS RISC models, only) (under EWS-UX/V(R4.0) R6.2 & EWS-UX/V(R4.2) R7.1, as supported)

Target: Any Host


North China Institute of Computing Technology


Green Valley Software, Building 13 Wanmingyuan, Fuchengmenwai, Beijing 100037, CHINA

Contact Li Xin at Phone: (01) 8342706, 8313399-3406 or E-mail: (No e-mail address given)


C_Ada, Version 1.0
Certificate Number: 910902N1.11198
Compiler Type: Base

Host: MicroVAX II (under ULTRIX 3.0)

Target: Same as Host


OC Systems


9990 Lee Highway, Suite 270, Fairfax, VA 22030

Contact Oliver E. Cole at Phone: (703) 359-8160 or E-mail: info@ocsystems.com


OCS Legacy Ada/370 VM, Version 2.0
Certificate Number: 910612W1.11168
Compiler Type: Derived

Host: IBM 937x, 43xx, 308x, 3090, & ES/9000 processors (under VM/ESA 1.1, 1.1.1, & 2.1; VM/XA 2.1; VM/SP HPO 6.0)

Target: Same as Host


Proprietary Software Systems


429 Santa Monica Boulevard, Suite 430, Santa Monica, CA 90401

Contact Richard Gilinsky at Phone: (310) 394-5233 or E-mail: PSSincorp@aol.com


PSS VAX/ZR34325 Compiler, Version XB-01.000
Certificate Number: 920423I1.11250
Compiler Type: Base

Host: VAX 8350 (under VMS Version 5.4)

Target: PSS Zoran ZR34325 Digital Signal Processor AdaRAID Version XK-01.000 (bare machine simulation, executing on the Host)


R.R. Software, Inc.


P.O. Box 1512, Madison, WI 53701

Contact Randy Brukardt at Phone: (608) 245-0375 or E-mail: info@rrsoftware.com


Janus/Ada 2.2.0 Phar Lap/DOS
Certificate Number: 901120W1.11088
Compiler Type: Base

Host: IBM PS/2 Model 80 (under Phar Lap/DOS 3.3)

Target: IBM PS/2 Model 80 (under MS DOS 3.3)


Janus/Ada 2.2.0 Phar Lap/DOS
Certificate Number: 901120W1.11088
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386, fpu: optional, memory: 4 MByte RAM, disk: 40 MByte hard drive (under Phar Lap/DOS 3.3)

Target: Any Computer System Comprising: cpu: Intel 80386, fpu: optional, memory: 4 MByte RAM, disk: 40 MByte hard drive (under MS-DOS 3.3)


Janus/Ada 2.2.0 UNIX
Certificate Number: 901129W1.11089
Compiler Type: Base

Host: Northgate 386/25 (under SCO Unix 3.2)

Target: Same as Host


Janus/Ada 2.2.0 UNIX
Certificate Number: 901129W1.11089
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: Intel 80386, fpu: optional, memory: 4 MByte RAM, disk: 60 MByte hard drive (under SCO Unix 3.2)

Target: Same as Host


Janus/Ada 2.2.1 DOS
Certificate Number: 901120W1.11088
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: any that executes Intel 8086/8088 instructions; fpu: optional; memory: 640 KByte RAM; disk: 20 MByte hard drive (under MS DOS 3.3)

Target: Same as Host


Janus/Ada 2.2.2 386 to DOS
Certificate Number: 901120W1.11088
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: any that executes the Intel 80386 instruction set; fpu: optional; memory: 2 MByte RAM; disk: 40 MByte hard drive (under Phar Lap / MS-DOS 3.3)

Target: Any Host (under MS-DOS 3.3)


Janus/Ada 2.2.2 DOS
Certificate Number: 901120W1.11088
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: any that executes the Intel 8086/8088 instruction set; fpu: optional; memory: 640 KByte RAM; disk: 20 MByte hard drive (under MS-DOS 3.3)

Target: Any Host


Janus/Ada 2.2.2 UNIX
Certificate Number: 901129W1.11089
Compiler Type: Derived

Host: Any Computer System Comprising: cpu: any that executes the Intel 80386 instruction set; fpu: optional; memory: 4 MByte RAM; disk: 40 MByte hard drive (under SCO Unix 3.2)

Target: Any Host


Rational Software Corporation (now IBM)


18880 Homestead Road, Cupertino, CA 95014 US

Contact Ben Priest, Steve Deller at Phone: (408) 863-9900 or E-mail: info@rational.com


Apex, Version 1.4.1
Certificate Number: 940608W1.11356
Compiler Type: Base

Host: SPARCstation 10/51 (under SunOS 4.1.3)

Target: Same as Host


Apex, Version 1.4.1
Certificate Number: 940608W1.11357
Compiler Type: Base

Host: SPARCstation 10/51 (under Solaris 2.3)

Target: Same as Host


Apex, Version 1.4.1
Certificate Number: 940608W1.11358
Compiler Type: Base

Host: RS/6000 model 350 (under AIX 3.2.5)

Target: Same as Host


Apex, Version 1.6.1
Certificate Number: 940608W1.11357
Compiler Type: Derived

Host: Sun SPARCstation 10/51 (under Solaris 2.3)

Target: Same as Host


Concurrent Computer Corporation RT-Ada (SU5-094, SU5-093), Version 1.2
Certificate Number: 960209W1.11396
Compiler Type: Base

Host: MAXION Multiprocessor System, Model 9200 (under MAXION OS, Version 1.2)

Target: MAXION Multiprocessor System, Model 9200 (under MAXION OS, Version 1.2)


M68020/Bare Cross-Development Facility, Version 7
Certificate Number: 901116W1.11083
Compiler Type: Base

Host: R1000 Series 300 (under Rational Environment Version D_12_24_0)

Target: Motorola MVME135 (68020) (bare machine)


M68020/OS-2000 Cross-Development Facility, Version 7
Certificate Number: 901116W1.11081
Compiler Type: Base

Host: R1000 Series 300 (under Rational Environment Version D_12_24_0)

Target: Phillips PG2100 (OS-2000 Release 2.0)


M68020/UNIX Cross-Development Facility, Version 7
Certificate Number: 901116W1.11082
Compiler Type: Base

Host: R1000 Series 300 (under Rational Environment Version D_12_24_0)

Target: HP 9000 Model 370MH (under HP-UX Version 7.0)


Rational Apex Ada 83 for Digital Unix, version 2.0.8 (prerelease)
Certificate Number: 960209S1.11407
Compiler Type: Base

Host: DEC 3000 Model 600 AXP (under OSF/1, V3.2)

Target: DEC 3000 Model 600 AXP (under OSF/1, V3.2)


Rational Apex Ada 83 for HP-PA HP-UX, version 2.0.8 (prerelease)
Certificate Number: 960209S1.11408
Compiler Type: Base

Host: HP 9000 Model 715 (under HP-UX, Version 10.0)

Target: HP 9000 Model 715 (under HP-UX, Version 10.0)


Rational Apex Ada 83 for IBM RS/6000 AIX, version 2.0.8 (prerelease)
Certificate Number: 960209S1.11410
Compiler Type: Base

Host: RS/6000 Model 350 (under AIX 3.2.5)

Target: RS/6000 Model 350 (under AIX 3.2.5)


Rational Apex Ada 83 for SGI IRIX, version 2.0.8 (prerelease)
Certificate Number: 960209S1.11409
Compiler Type: Base

Host: SGI Iris Indigo R4000 (under IRIX 5.3)

Target: SGI Iris Indigo R4000 (under IRIX 5.3)


Rational Apex Ada 83 for Sun SPARC Solaris 2, Version 2.0.8 (prerelease)
Certificate Number: 960209S1.11406
Compiler Type: Base

Host: SPARCstation 10/51 (under Solaris 2.3)

Target: SPARCstation 10/51 (under Solaris 2.3)


Rational Apex Ada 83 for Sun SPARC SunOS 4, Version 2.0.8 (prerelease)
Certificate Number: 960209S1.11411
Compiler Type: Base

Host: SPARCstation 10/51 (under SunOS 4.1.3)

Target: SPARCstation 10/51 (under SunOS 4.1.3)


Rational Environment, D_12_24_0
Certificate Number: 901116W1.11084
Compiler Type: Base

Host: R1000 Series 300 (under Rational Environment Version D_12_24_0)

Target: Same as Host


Silicon Graphics VADS, VAda-2100-00732, Version 6.2
Certificate Number: 940630W1.11361
Compiler Type: Base

Host: Silicon Graphics Challenge (4IP19 @ 100 MHz) (under IRIX 5.2)

Target: Same as Host


Silicon Graphics VADS, Version 623.53.3
Certificate Number: 940630W1.11361
Compiler Type: Derived

Host: SGI Challenge (4IP19 @ 100MHz) and Indigo 2 (1IP22 @ 150MHz) (under IRIX 5.2 & 5.3)

Target: Any Host


Sun Microsystems SPARCompiler Ada, Version 2.1
Certificate Number: 921004W1.11289
Compiler Type: Derived

Host: Sun Microsystems SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, and SPARCsystem computer families (under Solaris 2.4)

Target: Any Host


Sun Microsystems SPARCompiler Ada, Version 3.0
Certificate Number: 921004W1.11287
Compiler Type: Derived

Host: Sun Microsystems SPARCserver, SPARCstation, SPARCsystem, SPARCcenter, SPARCcluster, SPARCcenter, & Ultra series of computers (under Solaris 2.3, 2.4, & 2.5)

Target: Any Host


Sun Microsystems SPARCworks/iMPact Ada, Version 2.0
Certificate Number: 921004W1.11290
Compiler Type: Derived

Host: Sun Microsystems SPARCserver, SPARCstation, SPARCsystem, SPARCcenter, SPARCcluster, SPARCcenter, & Ultra series of computers (under Solaris 2.3, 2.4, & 2.5)

Target: Any Host


Sun Microsystems iMPact Ada, Version 1.0
Certificate Number: 921004W1.11290
Compiler Type: Derived

Host: Sun Microsystems SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, and SPARCsystem computer families (under Solaris 2.4)

Target: Any Host


VADS 386/486, VAda-110-3737, Version 6.2
Certificate Number: 910517W1.11157
Compiler Type: Derived

Host: Any computer that executes the Intel 80486 instruction set (under Interactive UNIX System V/386 Release 3.2)

Target: Same as Host


VADS 386/486/Pentium, VAda-110-3939, Version 6.2
Certificate Number: 921004W1.11283
Compiler Type: Derived

Host: Any computer system comprising: cpu- Intel i386, i486, or Pentium; fpu- optional; memory- 16MB (under Solaris X86, Version 2.4)

Target: Same as Host


VADS AT&T 3B2/600GR UNIX System V Release 4, Product #2100-01449, Version 6.2
Certificate Number: 940630W1.11373
Compiler Type: Base

Host: AT&T 3B2/600GR UNIX System V, Release 4, Product #2100-01449, Version 6.2)

Target: AT&T 3B2/600GR (under System V, Release 4.0)


VADS IBM RS/6000 => PowerPC, Product #2100-01445, Version 6.2
Certificate Number: 940630W1.11364
Compiler Type: Base

Host: IBM RS/6000 Model 530 (under AIX 3.2.5)

Target: Motorola MVME1601 (PowerPC 601) (bare machine)


VADS MP Silicon Graphics, Version 621.52.1
Certificate Number: 921004W1.11292
Compiler Type: Derived

Host: SGI Challenge (4IP19 @ 100MHz) (under IRIX 5.2)

Target: SGI Challenge (4IP19 @ 100MHz) (under IRIX 5.2)


VADS MP Sun SPARC Solaris 2.3, Version 6.2.3
Certificate Number: 921004W1.11290
Compiler Type: Derived

Host: Sun Microsystems SPARCserver, SPARCstation, SPARCsystem, SPARCcenter, SPARCcluster, SPARCcenter, & Ultra series of computers (under Solaris 2.3, 2.4, & 2.5)

Target: Any Host


VADS PowerPC => PowerPC, Product #2100-01445, Version 6.2
Certificate Number: 940630W1.11363
Compiler Type: Base

Host: IBM RS/6000 Model 250 (under AIX 3.2.5)

Target: Motorola MVME1601 (PowerPC 601) (bare machine)


VADS PowerPC SELF, Product #2100-01443, Version 6.2
Certificate Number: 940630W1.11365
Compiler Type: Base

Host: IBM RS/6000 Model 250 (under AIX 3.2.5)

Target: Same as Host


VADS PowerPC SELF, Product #2100-01443, Version 6.2
Certificate Number: 940630W1.11365
Compiler Type: Derived

Host: IBM RS/6000 Model 41T (under AIX 3.2.5)

Target: Same as Host


VADS Sun SPARC => 386/486/Pentium (Product Number: 2100-00855), Version 6.2.5
Certificate Number: 920513W1.11258
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCserver, SPARCstation, SPARCsystem, SPARCcenter, SPARCcluster computer series; Host Operating System: Solaris 2.3, 2.4, and 2.5

Target: any single-board computer system comprising: cpu - Intel386, Intel486, and Pentium processors; fpu - on chip, optional 80387, or emulation; OS - bare machine


VADS Sun SPARC => 386/486/Pentium, 2100-00848, Version 6.2.3
Certificate Number: 920513W1.11258
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, SPARCsystem computer families (under SunOS 4.1.3)

Target: Any single-board computer system comprising: cpu- Intel 386, 486, or Pentium; fpu- on chip, or optional 387, as appropriate; and OS- bare machine


VADS Sun SPARC => 386/486/Pentium, 2100-00855, Version 6.2.3
Certificate Number: 920513W1.11258
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, & SPARCsystem computer families (under Solaris 2.3, 2.4, & 2.5)

Target: Any single-board computer system comprising: cpu- Intel 386, 486, or Pentium; fpu- on chip, or optional 387, as appropriate; and OS- bare machine


VADS Sun SPARC => 68020/030/040/060, Version 6.2.3
Certificate Number: 910517W1.11152
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, & SPARCsystem computer families (under SunOS 4.1.3 or Solaris 2.3, 2.4 & 2.5)

Target: Any single-board computer comprising: cpu- Motorola 68020, 68030, 68040, or 68060; fpu- simulated, on chip, 68881, or 68882, as appropriate; and OS- bare machine


VADS Sun SPARC Solaris 2.3, Version 6.2.3
Certificate Number: 921004W1.11287
Compiler Type: Derived

Host: Sun Microsystems SPARCserver, SPARCstation, SPARCsystem, SPARCcenter, SPARCcluster, SPARCcenter, & Ultra series of computers (under Solaris 2.3, 2.4, & 2.5)

Target: Any Host


VADS Sun4 => PowerPC Simulator, Product #2100-01455, Version 6.2
Certificate Number: 940630W1.11370
Compiler Type: Base

Host: Sun SPARCstation 2 (under SunOS 4.1.2)

Target: VADS PowerPC Instruction Set Simulator, executing on the Host (bare machine simulation)


VADS Sun4 => PowerPC Simulator, Product #2100-01908, Version 6.2
Certificate Number: 940630W1.11370
Compiler Type: Derived

Host: Sun SPARCstation 2 (under SunOS 4.1.2)

Target: VADS PowerPC 603 Instruction Set Simulator, executing on the Host (bare machine simulation)


VADS Sun4 => PowerPC, Product #2100-01444, Version 6.2
Certificate Number: 940630W1.11369
Compiler Type: Base

Host: Sun SPARCcenter 2000 (under Solaris 2.3)

Target: Motorola MVME1601 (PowerPC 601) (bare machine)


VADS Sun4 Solaris => PowerPC 603 (Product Number 2100-01444), Version 6.2.3
Certificate Number: 960209W1.11400
Compiler Type: Base

Host: SPARCcenter 2000 (under Solaris 2.3)

Target: Motorola MVME1603 (PowerPC 603) Single Board Computer (bare machine)


VADS Sun4 Solaris => PowerPC 603 2100-01444, Version 6.3.5(d)
Certificate Number: 960209W1.11400
Compiler Type: Derived

Host: SPARCstation 2 (under SunOS 4.1.3)

Target: Motorola MPC860ADS with MPC860 controller (PowerPC), using U.S. Software GOFAST floating-point emulation(bare machine)


VADS Sun4 SunOS, VAda-110-4040, Version 6.2.3
Certificate Number: 900510W1.11006
Compiler Type: Derived

Host: Sun-4/690 (under SunOS 4.1.4)

Target: Sun-4/690 (under SunOS 4.1.4)


VADS SunSPARC => PowerPC 603, Version 6.2.3
Certificate Number: 940630W1.11370
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, & SPARCsystem computer families (under Solaris 2.3, 2.4, & 2.5)

Target: Any single-board computer that uses the Motorola PPC603 cpu (bare machine)


VADS System V/386/486 VAda-110-3232, Version 6.2.1
Certificate Number: 901129W1.11095
Compiler Type: Derived

Host: Any computer system that executes the Intel i386, i486, or Pentium instruction set (under 486 SunSoft Interactive UNIX, Release 4.1)

Target: Any Host


VADS System V/386/486, VAda-110-3232, Version 6.2.1
Certificate Number: 921004W1.11282
Compiler Type: Derived

Host: AT&T System 3000 series of computers, including models 3340, 3345, 3350, 3355; 3406, 3410, 3416, 3416-XL, 3430, 3445, 3447, 3450, 3455, 3455-XP, 3470, 3475, 3475-XP; 3520, 3525, 3525-XP, 3550, 3555, 3555-XP, 3570, 3575, 3575-XP; & 3600 (under NCR UNIX SVR4 MP-RS, Release 2)

Target: Any Host


VADS System V/88 Release 4, VAda-110-8484, Product #2100-01464, Version 6.2
Certificate Number: 940630W1.11372
Compiler Type: Base

Host: DG AViiON G70592-A (88110) (under UNIX System V, Release 4)

Target: Same as Host


VADS UNIX SystemV/386/486/Pentium (Product Number 2100-04639), Version 6.2.5
Certificate Number: 960209W1.11398
Compiler Type: Base

Host: Software Electronics 80486DX PC (under SCO 3.2v5.0)

Target: Software Electronics 80486DX PC (under SCO 3.2v5.0)


VADS Windows 95/386-486-Pentium, VAda-110-36315, Version 6.2.1
Certificate Number: 940110W1.11337
Compiler Type: Derived

Host: Any computer system comprising: cpu: any that executes the Intel 80386, 80486, or Pentium instruction set; memory: 16 MByte RAM (Windows 95, Version 4.0)

Target: Any host


VADS Windows NT/386-486-Pentium, VAda-110-36315, Version 6.2.1
Certificate Number: 940110W1.11337
Compiler Type: Derived

Host: Any computer system comprising: cpu: any that executes the Intel 80386, 80486, or Pentium instruction set; memory: 16 MByte RAM; and OS: Windows NT 3.51

Target: Any Host


VADScross Ada, SPARC Solaris => PowerPC 603/604 2100-3061 Version 6.2.3
Certificate Number: 940630W1.11370
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, & SPARCsystem computer families (under Solaris 2.3, 2.4, & 2.5)

Target: Any single-board computer system comprising: cpu-Motorola PPC604; fpu- on chip; OS- bare machine


VADScross Ada, SPARC SunOS => PowerPC 603/604 2100-1908, Version 6.2.3
Certificate Number: 940630W1.11370
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, & SPARCsystem computer families (under SunOS 4.1.2)

Target: Any single-board computer system comprising: cpu- Motorola PPC604; fpu- on chip; OS- bare machine


VADScross IBM RISC System/6000 AIX 3.2.3 => MIPS R4000, Version 6.2
Certificate Number: 940630W1.11362
Compiler Type: Base

Host: Silicon Graphics Challenge (4IP19 @ 100 MHz) (under IRIX 5.2)

Target: SGI Indigo XS4000 (MIPS R4000), operating as a bare machine


VADScross Sun-4 => GA040-1, Version 3.0
Certificate Number: 910517W1.11152
Compiler Type: Derived

Host: Sun Microsystems Sun-4, SPARCstation, & SPARCserver computer family (under SunOS 4.13)

Target: General Atronics GA040-1 (MC68040-based single-board computer) (bare machine)


VADScross Sun4 Solaris 2.3 => MIPS R4000, Version 6.2
Certificate Number: 940630W1.11367
Compiler Type: Base

Host: Sun SPARCstation 10/512 (under Solaris 2.3)

Target: SGI Indigo XS4000 (MIPS R4000) (operating as a bare machine)


VADScross Sun4 Solaris => Motorola 68k Family, Version 6.2.3
Certificate Number: 960209W1.11399
Compiler Type: Base

Host: SPARCserver Model 10/512 (under Solaris 2.3)

Target: Motorola MVME167 (bare machine)


VADScross Sun4 Solaris => Motorola CPU32, Version 6.2.3
Certificate Number: 960209W1.11397
Compiler Type: Base

Host: SPARCserver Model 690MP (under SunOS 4.1.2)

Target: Motorola EVS332 (MC68332) (bare machine)


VADSself for DEC Alpha AXP OSF/1, Product #2100-01439, Version 6.2
Certificate Number: 940630W1.11359
Compiler Type: Base

Host: DEC 4000 Model 610 AXP (under OSF/1, Version 2.0)

Target: Same as Host


VADSworks DEC Alpha AXP, OSF/1 => DEC Alpha AXP SBC, (Product Number 2100-01601) Version 3.1.0
Certificate Number: 960209W1.11402
Compiler Type: Base

Host: DEC 4000 Model 610 (under SF/1 V3.2 (Rev. 214))

Target: Digital AXPvme/160 (DECchip 21066 Alpha AXP) Single Board Computer (under Digital VxWorks for Alpha AXP V3.1)


VADSworks SPARC Solaris => MC68020/30/40 (Product Number 2100-03370), Version 3.1.0
Certificate Number: 960209W1.11403
Compiler Type: Base

Host: SPARCstation Sun4 SS10/512 (under Solaris 2.3)

Target: Motorola MVME167 (68040) (under Wind River VxWorks 5.2)


VADSworks SPARC Solaris => SPARC (Product Number 2100-04356) Version 3.1.0
Certificate Number: 960209W1.11405
Compiler Type: Base

Host: SPARCstation Sun4 SS10/512 (under Solaris 2.3)

Target: Force CPU-10 (SPARC) (under Wind River VxWorks 5.2)


VADSworks SPARC SunOS => MIPS R4000 (Product Number 2100-4083), Version 3.1.0
Certificate Number: 960209W1.11401
Compiler Type: Base

Host: SPARCsystem 4/670 (under SunOS 4.1.3)

Target: Heurikon Laguna (MIPS R4600) (under Wind River VxWorks 5.2)


VADSworks SPARC SunOS => MIPS R4000 (Product Number: 2100-4083), Version 3.1.0 Beta
Certificate Number: 960209W1.11401
Compiler Type: Derived

Host: SPARCsystem 4/670Host Operating System: SunOS, Version 4.1.3

Target: Heurikon Laguna (MIPS R4600)Target Operating System: Wind River VxWorks 5.2


VADSworks SPARC SunOS => PowerPC 601/603/604 (Product Number 2100-04616), Version 3.1.0
Certificate Number: 960209W1.11404
Compiler Type: Base

Host: SPARCsystem 4/670 (under SunOS 4.1.3)

Target: Motorola MVME1603 (PowerPC 603) Single Board Computer (under Wind River VxWorks for PowerPC 5.2 Beta)


VADSworks Sun4/Solaris=>68K, VAda-115-42870, Version 3.1
Certificate Number: 920513W1.11256
Compiler Type: Derived

Host: Sun Microsystems SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, and SPARCsystem computer families (under SunOS 5.3 (Solaris 2.3))

Target: Any single-board computer system comprising: cpu- Motorola MC68020, MC68030, or MC68040; fpu- on chip, or optional MC68881 or MC68882, as appropriate; OS- VxWorks 5.1.1


VADSworks Sun4/SunOS=>68K, VAda-115-40870, Version 3.1
Certificate Number: 920513W1.11256
Compiler Type: Derived

Host: Sun Microsystems SPARCclassic, SPARCcluster, SPARCcenter, SPARCstation, SPARCserver, and SPARCsystem computer families (under SunOS 4.1.3)

Target: Any single-board computer system comprising: cpu- Motorola MC68020, MC68030, or MC68040; fpu- on chip, or optional MC68881 or MC68882, as appropriate; OS- VxWorks 5.1.1


VASDself for DEC Alpha AXP OSF/1, Product #2100-01439, Version 6.2
Certificate Number: 940630W1.11360
Compiler Type: Base

Host: DEC 3000 Model 500 AXP (under OSF/1, Version 1.3)

Target: Same as Host


Rockwell International Corporation


Engineering Process and Support, MS: 124-323, 400 Collins Road NE, Cedar Rapids, IA 52498

Contact Sally Olsen at Phone: (319) 395-1729 or E-mail: sro@hobbes.cca.rockwell.com


DDC-Based Ada/CAPS Compiler System, Version 7.0
Certificate Number: 910306W1.11130
Compiler Type: Derived

Host: DEC VAX, MicroVAX, VAXstation, VAXserver series of computers (under VMS V5.5-2)

Target: CAPS/AAMP2 & CAPS/AAMP3 (bare machines)


DDC-Based Ada/CAPS Compiler System, Versions 7.2 & 7.3
Certificate Number: 910306W1.11130
Compiler Type: Derived

Host: DEC VAX, MicroVAX, VAXstation, VAXserver series of computers (under VMS V5.5-2)

Target: CAPS/AAMP2, CAPS/AAMP3, & CAPS/AAMP5 (bare machines)


DDC-Based Ada/CAPS Compiler, Versions 7.4 & 7.5DDC-Based Ada/CAPS Compiler, Versions 7.4 & 7.5
Certificate Number: 910306W1.11130
Compiler Type: Derived

Host: DEC VAX, MicroVAX, VAXstation, VAXserver series of computers (under VMS V