Category : Miscellaneous Language Source Code
Archive   : ADA-0501.ZIP
Filename : VAL-COMP.HLP

 
Output of file : VAL-COMP.HLP contained in archive : ADA-0501.ZIP
Ada VALIDATED COMPILERS LIST - 1 May 1991, REV. A

Form G/V10-0591
VAL-COMP.HLP

Ada Information Clearinghouse, 1-800-AdaIC-11, 1-703-685-1477


The following are Ada compilers that have been validated by the Ada Joint
Program Office (AJPO). Compilers are listed in order of vendor. The list is
updated monthly, and presently includes 144 base compilers and 60 compilers
derived from base implementations. For the most current information on
validated Ada compilers, please contact the Ada Information Clearinghouse at
(703) 685-1477.

For background information, please see "An Introduction to the Validation
Process", which follows at the end of the compiler list.

(Key: * = Validated through Registration, base system above)
(Key: (#YYMMDDFX.XXNNN): YYMMDD is the date on-site testing was completed;
F is the Ada Validation Facility;
X.XX is the ACVC Version;
NNN is a unique sequence number that is assigned by
the AVO)

For example, the certificate number #890113W1.10024 means the compiler
completed on-site testing January 13, 1989, at Wright-Patterson AFB under ACVC
1.10.

All Ada Validation Certificates issued for validations completed with ACVC
Version 1.10 expired on December 1, 1990. At the TRI-Ada 1990 meeting in
Baltimore, it was announced that the Ada Joint Program Office (AJPO) would be
conducting a public review of ACVC 1.12 in the near future. It has been
decided to suspend this public review and not to use ACVC 1.12 for validation
under Ada 83. The proposed ACVC 1.12 will be provided to the Ada 9X Project as
the baseline validation suite for Ada 9X.

ACVC 1.11 is the official validation test suite and will remain in effect until
at least 1 January 1992. The certificates associated with 1.11 will remain
current until at least 1 March 1993. Prior to the release of the Ada 9X suite
(ACVC 2.0), there may be a transition suite -- tentatively designated 1.11A --
which will be similar to the proposed ACVC 1.12 except tests that conflict with
9X will be removed.

*******************************************************************************
Ada VALIDATED COMPILERS LIST--1 May 1991
*******************************************************************************
Vendor & HOST TARGET
Compiler Machine Machine
===============================================================================
AETECH, Inc. Northgate 386/25 (under Northgate 386/25 (under MS
IntegrAda 386 Phar Lap/DOS 3.3) DOS 3.3)
5.1.0
(#901120W1.11087)

*Validated by Registration
AETECH, Inc. Any Computer System Any Computer System
IntegrAda 386 Comprising: cpu: Intel Comprising: cpu: Intel
5.1.0 80386, fpu: optional, 80386, fpu: optional,
(BASE memory: 4 MByte RAM, disk: memory: 4 MByte RAM, disk:
#901120W1.11087) 40 MByte hard drive (under 40 MByte hard drive (under
Phar Lap/DOS 3.3) MS DOS 3.3)

AETECH, Inc. Unisys PW/2 386 (under SCO Same as Host
IntegrAda 5.1.0 Unix 3.2)
POSIX
(#901129W1.11086)

*Validated by Registration
AETECH, Inc. Any Computer System Same as Host
IntegrAda Posix Comprising: cpu: Intel
5.1.0 80386, fpu: optional,
(BASE memory: 4 MByte RAM, disk:
#901129W1.11086) 60 MByte hard drive (under
SCO Unix 3.2)

Aitech Defense VAXstation 3100 Cluster Tadpole TP880V (88100-based
Systems, Inc. (under VMS 5.3) VME board) (bare machine)
AI-ADA/88K
Version 2.4
(#900930W1.11030)

*Validated by Registration
Aitech Defense All DEC MicroVAX, Tadpole TP880V (88100-based
Systems, Inc. VAXstation, VAXserver, VME board) & Motorola
AI-ADA/88K, VAX-11, VAX 8xxx & VAX 6xxx MVME181 (88100-based VME
Version 2.4 series (under VMS versions board) (bare machines)
(BASE 5.0, 5.1, 5.2 & 5.3, as
#900930W1.11030) supported)

Alliant Computer Alliant FX/2800 (under Same as Host
Systems Concentrix Release 2.0)
Corporation
Alliant
FX/Ada-2800
Compiler, Version
1.0
(#901218W1.11105)

Alliant Computer Alliant FX/80 (under Same as Host
Systems Concentrix Release 5.7)
Corporation
Alliant FX/Ada
Compiler, Version
2.3
(#901218W1.11106)

Alsys VAX 8530 (under VMS, Same as Host
AlsyCOMP_053, Version 5.1)
Version 1.82
(#900509I1.11009)

Alsys IBM 9370 Model 90 (under Same as Host
AlsyCOMP_042, AIX/370 Version 1.2)
Version 5.3
(#900627N1.11013)

Alsys Sun-3/60 (under SunOS, Same as Host
AlsyCOMP_026, Version 4.0.3)
Version 1.82
(#900814I1.11040)

Alsys MIPS M/120-5 (under Same as Host
AlsyCOMP_025, RISC/os, Version 4.0)
Version 1.83
(#900814I1.11041)

Alsys Sony NEWS NWS-1850 (under Same as Host
AlsyCOMP_046, NEWS-OS 3.3)
Version 5.3
(#901022A1.11043)

Alsys Apollo DN4000 (under Same as Host
AlsyCOMP_004, Domain/OS SR10.2)
Version 5.3
(#901022A1.11044)

Alsys Bull DPX/2 320 (under Same as Host
AlsyCOMP_050, B.O.S. 02.00.05)
Version 5.3
(#901022A1.11045)

Alsys HP 9000s350 (under HP-UX Same as Host
AlsyCOMP_002, 6.5)
Version 5.3
(#901022A1.11046)

Alsys Sun-3/260 (under SunOS 3.2) Same as Host
AlsyCOMP_005,
Version 5.3
(#901022A1.11047)

Alsys CETIA Unigraph 6000 (under Same as Host
AlsyCOMP_035, Unigraph/X 3.1)
Version 5.3
(#901022A1.11048)

Alsys Compaq Deskpro 386 (under Same as Host
AlsyCOMP_016 MS-DOS 3.30, Phar Lap 2.0)
Version 5.1
(#901102W1.11055)

Alsys CompuAdd 320 (under MS-DOS Same as Host
AlsyCOMP_016 3.30, Phar Lap 2.0)
Version 5.1
(#901102W1.11056)

*Validated by Registration
Alsys HP Vectra RS/20, RS/20C, Any Host
AlsyCOMP_016, RS/25 & RS/25C; AST Premium
Version 5.1 386; and Unisys 386 &
(BASE Desktop III (under MS-DOS
#901102W1.11056) 3.30, Phar Lap 2.0)

Alsys ALR Power Veisa 486 (under Same as Host
AlsyCOMP_016 MS-DOS 3.30, Phar Lap 2.0)
Version 5.1
(#901102W1.11057)

Alsys HP Vectra RS/25C (under Same as Host
AlsyCOMP_003 MS-DOS 3.30)
Version 5.1
(#901102W1.11058)

*Validated by Registration
Alsys Unisys Desktop III (under Same as Host
AlsyCOMP_003, MS-DOS 3.30)
Version 5.1
(BASE
#901102W1.11058)

Alsys Zenith Z-248 Model 50 Same as Host
AlsyCOMP_003 (under MS-DOS 3.30)
Version 5.1
(#901102W1.11059)

*Validated by Registration
Alsys HP Vectra ES/12; and IBM Any Host
AlsyCOMP_003, PC/AT (all models) (under
Version 5.1 MS-DOS 3.30)
(BASE
#901102W1.11059)

*Validated by Registration
Alsys ICS SB286SC/12 (under Same as Host
AlsyCOMP_003, MS-DOS 3.30)
Version 5.1
(BASE
#901102W1.11059)

Alsys INMOS T800 transputer on a INMOS T800 transputer on a
Alsycomp_037, B405 TRAM (bare) with an B405 TRAM (bare) using an
Version 5.2 INMOS B008 Communications IBM PC/AT under MS-DOS 3.1
(#901114N1.11065) link implemented in an IBM running INMOS Iserver 1.3
PC/AT (under MS-DOS 3.1 and for file-server support via
INMOS Iserver V1.3) an INMOS B008 board link

*Validated by Registration
Alsys INMOS T800 transputer on a INMOS T800 transputer on a
AlsyCOMP_037, B403 TRAM (bare) with an B405 TRAM (bare) using an
V5.3 INMOS B008 Communications IBM PC/AT under MS-DOS 3.1
(BASE link implemented in an IBM running INMOS Iserver 1.3
#901114N1.11065) PC/AT (under MS-DOS 3.1 and for file-server support via
INMOS Iserver V1.3) an INMOS B008 board link;
INMOS T425 transputer on a
B403 TRAM (bare) using an
IBM PC/AT under MS-DOS 3.1
running INMOS Iserver 1.3
for file-server support via
an INMOS B008 board link

Alsys HP 9000s350 (under HP-UX Motorola MVME101 (68000)
AlsyCOMP_012, 6.5) (bare machine, using ARTK
Version 5.3 Version 5.3)
(#901116A1.11066)

Alsys Apollo DN4000 (under Motorola MVME147-1
AlsyCOMP_036, Domain/OS SR10.2) (68030/68882) (bare machine,
Version 5.3 using ARTK Version 5.3)
(#901116A1.11067)

Alsys Sun 3/260 (under SunOS 3.2) Motorola MVME121 (68010)
AlsyCOMP_015, (bare machine, using ARTK
Version 5.3 Version 5.3)
(#901116A1.11068)

Alsys MicroVAX II (under VMS INMOS T425 transputer on a
Alsycomp_017, V5.3) B403 TRAM (bare) using the
Version 5.2 Host running INMOS Iserver
(#901118N1.11064) 1.3 for file-server support
via a CAPLIN QT0 board link

*Validated by Registration
Alsys MicroVAX II (under VMS INMOS T425 transputer on a
AlsyCOMP_017, V5.3) B403 TRAM (bare) using the
V5.3 Host running INMOS Iserver
(BASE 1.3 for file-server support
#901118N1.11064) via a CAPLIN QT0 board link;
INMOS T800 transputer on a
B405 TRAM (bare) using the
Host running INMOS Iserver
1.3 for file-server support
via a CAPLIN QT0 board link

Alsys MicroVAX 3100 (under VMS Same as Host
AlsyCOMP_018 5.3)
Version 5.2
(#901120A1.11070)

Alsys IBM 9370 Model 90 (under Same as Host
AlsyCOMP_006, VM/IS CMS release 5.1)
Version 5.3
(#901125N1.11071)

Alsys IBM 370 3084Q (under MVS/XA Same as Host
AlsyCOMP_023, release 3.2)
Version 5.3
(#901125N1.11072)

Alsys VAX 6210 (under VMS 5.2) Motorola MVME135-1
AlsyCOMP_011, (68020/68881) (bare machine,
Version 5.3 using ARTK Version 5.3)
(#901127A1.11069)

Alsys Multitech 1100 (under SCO Same as Host
AlsyCOMP_034, Unix 3.2)
Version 5.1
(#901221W1.11103)

Alsys Apple Macintosh IIcx (under Same as Host
AlsyCOMP_043, Macintosh System Software
Version 5.3 6.0.5)
(#901221W1.11104)

Alsys IBM PS/2 Model 80 (under Same as Host
AlsyCOMP_034 LynxOS Version 2.0 +
Version 5.1 Threads Release 11)
(#910129W1.11113)

*Validated by Registration
Alsys IBM PS/2 Models 70-xxx & Any Host
AlsyCOMP_034, 80-xxx (under LynxOS
Version 5.1 Version 2.0 Release 15)
(BASE
#910129W1.11113)

Alsys Sun 3/60 (under SunOS, KWS EB68020 (under
AlsyCOMP_056, Version 4.0.3) OS-9/68020, Version 2.3)
Version 1.82
(#910131I1.11127)

Alsys VAX 8530 (under VMS, KWS EB68020 (under
AlsyCOMP_055, Version 5.3-1) OS-9/68020, Version 2.3)
Version 1.82
(#910201I1.11128)

Alsys CompuAdd 325 (under DOS Intel iSBC 386/116 (bare
AlsyCOMP_029, 3.31) machine, using ARTK 5.3)
Version 5.3
(#910323W1.11131)

Alsys MicroVAX II (under VMS 5.2) Intel iSBC 386/31 (bare
AlsyCOMP_030, machine, using ARTK 5.3)
Version 5.3
(#910323W1.11132)

Alsys Sun 3/140 (under SunOS 4.1) Intel iSBC 386/12 (bare
AlsyCOMP_033, machine, using ARTK 5.3)
Version 5.3
(#910323W1.11133)

Alsys VAX 8530 (under VMS Version Integrated Device Technology
AlsyCOMP_049, 5.3-1) IDT7RS301 System
Version 1.83 (R3000/R3010) (bare machine)
(#910407I1.11144)

Concurrent Concurrent Computer Same as Host
Computer Corporation 8400 (MIPS
Corporation R3000/3010) (under RTU
C3Ada, Version Version 5.1)
0.5
(#900427I1.11008)

*Validated by Registration
Concurrent Concurrent Computer Same as Host
Computer Corporation 8500 (MIPS
Corporation R3000/R3010) (under RTU
C3Ada, Version Version 5.1)
0.5
(BASE
#900427I1.11008)

Concurrent Concurrent Computer Same as Host
Computer Corporation 6650 with Super
Corporation Lightning Floating Point
C3 Ada Version (under RTU Version 5.0C)
1.1v
(#901130W1.11107)

*Validated by Registration
Concurrent Concurrent Computer Same as Host
Computer Corporation Series 6000
Corporation (MC68030, with Super
C3 Ada, Version Lightning Floating Point) &
1.1 Series 5000 (MC68020, with
(BASE Lightning Floating Point)
#901130W1.11107) (under RTU Versions 5.0A,
5.0B, 5.0C & 6.0)

*Validated by Registration
Concurrent Concurrent Computer Any Host
Computer Corporation Series 6000
Corporation with Super Lightning
C3 Ada, Version Floating Point, and Series
1.1v 5000 with Lightning
(BASE Floating Point (all models)
#901130W1.11107) (under RTU Version 5.0A,
5.0B & 5.0C)

Concurrent Concurrent Computer Same as Host
Computer Corporation 3280MPS (under
Corporation OS/32 Version R08-03.2)
C3 Ada Version
R03-00V
(#901130W1.11108)

*Validated by Registration
Concurrent Concurrent Computer Any Host
Computer Corporation Series 3200:
Corporation 3200 MPS, 3203, 3205, 3210,
C3 Ada, Version 3220, 3230, 3250, 3230XP,
R03-00V 3250XP, 3230MPS, 3260MPS,
(BASE Micro4, and Micro5 (under
#901130W1.11108) OS/32 Versions R08-03,
R08-03.1 & R08-03.2)

Concurrent Concurrent Computer Same as Host
Computer Corporation 8400 (MIPS
Corporation R3000/3010) (under RTU
C3 Ada Version Version 5.1)
1.0v
(#901130W1.11109)

*Validated by Registration
Concurrent Concurrent Computer Same as Host
Computer Corporation Series 8000
Corporation (MIPS R3000/3010) (under
C3 Ada, Version RTU Versions 5.1A, 5.1B &
1.0 6.0)
(BASE
#901130W1.11109)

*Validated by Registration
Concurrent Concurrent Computer Any Host
Computer Corporation Series 8000
Corporation (all models) (under RTU
C3 Ada, Version Versions 5.1, 5.1A & 5.1B)
1.0v
(BASE
#901130W1.11109)

*Validated by Registration
Concurrent Concurrent Computer Same as Host
Computer Corporation Series 8000
Corporation (R3000/3010), all models
C3 Ada, Version (under RTU Versions 5.1A,
2.0p 5.1B & 6.0)
(BASE
#901130W1.11109)

Concurrent Concurrent Computer Same as Host
Computer Corporation 6650 with
Corporation MC68882 Floating Point
C3 Ada Version (under RTU Version 5.0C)
1.1v
(#901130W1.11110)

*Validated by Registration
Concurrent Concurrent Computer Same as Host
Computer Corporation Series 6000
Corporation (MC68030/MC68882) & Series
C3 Ada, Version 5000 (MC68020/MC68881)
1.1 (under RTU Versions 5.0A,
(BASE 5.0B, 5.0C & 6.0)
#901130W1.11110)

*Validated by Registration
Concurrent Concurrent Computer Any Host
Computer Corporation Series 6000
Corporation with an MC68882 fpu, and
C3 Ada, Version Series 5000 with an MC68881
1.1v fpu (all models) (under RTU
(BASE Versions 5.0A, 5.0B & 5.0C)
#901130W1.11110)

CONVEX Computer CONVEX C220 (under ConvexOS Same as Host
Corporation 8.1)
CONVEX Ada,
Version 2.0
(#900910W1.11027)

*Validated by Registration
CONVEX Computer CONVEX C120, C201, C202, Any Host
Corporation C210, C220, C230, C240,
CONVEX Ada, C210i, C220i & C230i (under
Version 2.0 ConvexOS, Versions 8.1 and
(BASE 9.0)
#900910W1.11027)

Cray Research, Cray X-MP/EA (under UNICOS Same as Host
Inc. Release 5.0)
Cray Ada Compiler
Release 5.0
(#901112W1.11116)

Cray Research, Cray Y-MP (under UNICOS Same as Host
Inc. Release 5.0)
Cray Ada Compiler
Release 5.0
(#901112W1.11117)

DDC International VAX 8530 (under VMS Version Intel iSBC 386/21 (bare
A/S 5.3) machine)
DACS VAX/VMS to
80386 PM Bare Ada
Cross Compiler
System, Version
4.6
(#901129S1.11074)

DDC International ICL DRS300 (under DRS/NX, Same as Host
A/S Version 3.2 (UNIX System
DACS 80386 UNIX V V/386 release 3.2))
Ada Compiler
System, Version
4.6
(#901129S1.11075)

DDC International Sun-3/60 (under SunOS, Same as Host
A/S Version 4.0_Export)
DACS Sun3/SunOS
Native Ada
Compiler System,
Version 4.6
(#901129S1.11076)

DDC International VAX 8530 (under VMS Version Intel iSBC 186/03 (bare
A/S 5.3) machine)
DACS VAX/VMS to
80186 Bare Ada
Cross Compiler
System with Rate
Monotonic
Scheduling,
Version 4.6
(#901129S1.11077)

DDC International VAX 8530 (under VMS Version Intel iSBC 386/21 (bare
A/S 5.3) machine)
DACS VAX/VMS to
80386 Bare Ada
Cross Compiler
System with Rate
Monotonic
Scheduling,
Version 4.6
(#901129S1.11078)

DDC International VAX 8530 (under VMS Version Intel iSBC 186/03 (bare
A/S 5.3) machine)
DACS VAX/VMS to
80186 Bare Ada
Cross Compiler
System, Version
4.6
(#901129S1.11079)

DDC International IBM PS/2 Model 80-311 Same as Host
A/S (under LynxOS 386/PS2,
DACS 80386 DMS/OS Version 2.0A)
Ada Compiler
System, Version
4.6
(#901129S1.11112)

DDC-I VAX 8530 (under VMS Version Same as Host
International A/S 5.3)
DACS VAX/VMS
Native Ada
Compiler System,
Version 4.6
(#901129S1.11050)

DDC-I MicroVAX 3100 (under VMS Motorola MVME133 board
International A/S Version 5.3) (68020/68881) (bare machine)
DACS VAX/VMS to
68020 Bare Cross
Compiler System,
Version 4.6
(#901129S1.11051)

Digital Equipment VAX 8800 (under VMS Version Same as Host
Corporation 5.4)
VAX Ada, Version
2.2
(#901109S1.11053)

*Validated by Registration
Digital Equipment VAX 4000 Model 300; VAX Any Host
Corporation 6000 Model 200, 300 & 400
VAX Ada Version Series; VAX 8200, 8250,
2.2 8300, 8350, 8500, 8530,
(BASE 8550, 8600, 8650, 8700,
#901109S1.11053) 8800, 8810, 8820, 8830,
8840, 8842, 8974 & 8978;
VAX 9000-210, -410, -420,
-430 & -440; VAX-11/730,
/750, /780, /785;MicroVAX
II, 2000, 3100, 3300, 3400,
3500, 3600, 3800 & 3900;
VAXstation II, 2000, 3100
series, 3200, 3500, 3520 &
3540; VAXserver 3100, 3300,
3400, 3500, 3600, 3602,
3800, 3900; VAXserver
6000-310, 6000-410 &
6000-420; Ratheon Military
VAX Computer Model 860
(under VMS Version 5.4)

Digital Equipment VAX 8800 (under VMS Version MicroVAX II (under VAXELN
Corporation 5.4) Version 4.1, using VAXELN
VAX Ada, Version Ada Version 2.2)
2.2
(#901109S1.11054)

*Validated by Registration
Digital Equipment VAX 6000 Model 200, 300 & VAX 6000 Model 200, 300 &
Corporation 400 Series; VAX 8200, 8250, 400 Series; VAX 8200, 8250,
VAX Ada Version 8300, 8350, 8500, 8530, 8500, 8530, 8550, 8700, 8800
2.2 8550, 8600, 8650, 8700, & 8810; VAX-11/730 & /750;
(BASE 8800, 8810, 8820, 8830, MicroVAX II, 2000, 3100,
#901109S1.11054) 8840, 8842, 8974 & 8978; 3300, 3400, 3500, 3600, 3800
VAX-11/730, /750, /780, & 3900; VAXstation 2000,
/785; MicroVAX II 2000, 3100, 3150, 3200, 3500 &
3100, 3300, 3400, 3500, II/GPX; VAXserver 3100,
3600, 3800 & 3900; 3300, 3400, 3500, 3600,
VAXstation II, 2000, 3100 3602, 3800, 3900; VAXserver
series, 3200, 3500, 3520, 6000 Models 210, 220, 310,
3540 & 8000; VAXserver 320, 410 & 420; Ratheon
3100, 3300, 3400, 3500, Military VAX Computer Models
3600, 3602, 3800, 3900; 810 & 860; Norden Systems:
VAXserver 6000-310, Mil Vax II, IVAX 620 & 630;
6000-410 & 6000-420; VAX RTA; KA620-BA, rtVAX
Ratheon Military VAX 300, 1000, 3200, 3300, 3305,
Computer Model 860 (under 3400,3500, 3600, 3800, 8550,
VMS Version 5.4) 8700, rtVAX 6000 Model 200,
300 & 400 Series &
rtVAXstation 3100 Models 30
& 38 (under VAXELN Version
4.1, using VAXELN Ada
Version 2.2)

E-Systems/ECI Tolerant Eternity (under Same as Host
Division TX, 5.4.0)
Tolerant Ada
Development
System, Version
6.0
(#901003W1.11039)

Encore Computer Encore 91 Series Model Same as Host
Corporation 91-0430 (under UMAX 3.0)
Parallel Ada
Development
System, Revision
1.0
(#910130W1.11114)

*Validated by Registration
Encore Computer Encore 91 Series, all Any Host
Corporation models (under UMAX 3.0)
Parallel Ada
Development
System, Revision
1.0
(BASE
#910130W1.11114)

Encore Computer Encore 91 Series Model Encore 91 Series Model
Corporation 91-0430 (under UMAX 3.0) 91-0430 (under uMPX 1.0)
Parallel Ada
Development
System, Revision
1.0
(#910130W1.11115)

*Validated by Registration
Encore Computer Encore 91 Series, all Encore 91 Series, all models
Corporation models (under UMAX 3.0) (under microMPX 1.0)
Parallel Ada
Development
System, Revision
1.0
(BASE
#910130W1.11115)

Harris Harris NH-4400 (under CX/UX Same as Host
Corporation, 5.1)
Computer Systems
Division
Harris Ada 5.1
(#900918W1.11028)

*Validated by Registration
Harris Harris NH-4400 (under CX/UX Any Host
Corporation, 5.1, CX/RT 5.1, OR CX/SX
Computer Systems 5.1)
Division
Harris Ada 5.1
(BASE
#900918W1.11028)

*Validated by Registration
Harris Harris NH-4400 (under CX/UX Same as Host
Corporation, 5.2, CX/RT 5.2 & CX/SX 5.2)
Computer Systems
Division
Harris Ada
Compiler, Version
5.1
(BASE
#900918W1.11028)

Harris Harris NH-3800 (under CX/UX Same as Host
Corporation, 5.1)
Computer Systems
Division
Harris Ada 5.1
(#900918W1.11029)

*Validated by Registration
Harris Harris NH-1200, NH-3400 & Any Host
Corporation, NH-3800 (under CX/UX 5.1,
Computer Systems CX/RT 5.1, OR CX/SX 5.1)
Division
Harris Ada 5.1
(BASE
#900918W1.11029)

*Validated by Registration
Harris NH-1200, NH-3400 & NH-3800 Same as Host
Corporation, (under CX/UX 5.2, CX/RT 5.2
Computer Systems & CX/SX 5.2)
Division
Harris Ada
Compiler, Version
5.1
(BASE
#900918W1.11029)

Hewlett-Packard DN4500 (under Domain/OS Same as Host
Co./Apollo SR10.3)
Systems Division
Domain Ada V6.0m
(#910411W1.11137)

Hewlett-Packard DN10000 (under Domain/OS Same as Host
Co./Apollo SR10.3.p)
Systems Division
Domain Ada V6.0p
(#910411W1.11138)

Hewlett-Packard HP 9000 Series 300 Model Same as Host
Company 370 (under HP-UX, Version
HP 9000 Series A.07.00)
300 Ada Compiler,
Version 5.35
(#901022W1.11049)

*Validated by Registration
Hewlett-Packard HP 9000 Series 300 & 400, Any Host
Company all models (under HP-UX,
HP 9000 Series Version A.B7.03)
300 Ada Compiler,
Version 5.35
(BASE
#901022W1.11049)

*Validated by Registration
IBM Canada, Ltd RISC System/6000 models Any Host
AIX Ada/6000 7013-320, -520, -530, -540,
Release 2, -550, -730 & -930 (under
Preliminary AIX 3.1)
Version
(BASE
#901127W1.11085)

IBM Canada, Ltd. RISC System/6000 model Same as Host
AIX Ada/6000 7013-530 (under AIX 3.1)
Release 2,
Preliminary
Version
(#901127W1.11085)

Intermetrics, IBM 3083 (under UTS 580 Same as Host
Inc. Release 1.2.3)
UTS Ada Compiler,
Version 302.03
(#910425W1.11141)

International IBM 3083 (under VM/SP HPO Same as Host
Business Machines Release 5.0)
Corporation
IBM Ada/370,
Version 1.1.0
(#901128W1.11091)

International IBM 4381 (under MVS/XA Same as Host
Business Machines Release 3.8)
Corporation
IBM Ada/370,
Version 1.1.0
(#901128W1.11092)

KRUPP ATLAS VAX 6000-410 (under VMS KRUPP ATLAS ELEKTRONIK GmbH
ELEKTRONIK GmbH Version 5.2) MPR 2300 (under MOS2300,
KRUPP ATLAS Version 2.1)
ELEKTRONIK Ada
Compiler VVME
1.82
(#910324I1.11136)

Meridian Software Sun-3/260 (under SunOS, Same as Host
Systems, Inc. Version 4.1)
Meridian Ada,
Version 4.1
(#900909W1.11031)

Meridian Software Sun-4/110 (under SunOS, Same as Host
Systems, Inc. Version 4.1)
Meridian Ada,
Version 4.1
(#900909W1.11032)

Meridian Software DECstation 3100 (under Same as Host
Systems, Inc. Ultrix, Version 3.0)
Meridian Ada,
Version 4.1
(#900909W1.11033)

*Validated by Registration
Meridian Software DECstation 2100, 3100 & Any Host
Systems, Inc. 5000 (under Ultrix 3.0)
Meridian Ada,
Version 4.1
(BASE
#900909W1.11033)

Meridian Software IBM PS/2 Model 60 (with Same as Host
Systems, Inc. Floating-Point
Meridian Ada, Co-Processor) (under IBM
Version 4.1 PC-DOS 3.30)
(#900909W1.11034)

*Validated by Registration
Meridian Software Any Computer System Any Host
Systems, Inc. comprising: cpu: any that
Meridian Ada, executes the Intel 80286,
Version 4.1 80386, or 80486 instruction
(BASE set, fpu: Intel 80287,
#900909W1.11034) 80387, or equivalent, as
appropriate, memory: 640
KByte RAM minimum, disk: 20
MByte hard drive, OS: IBM
PC-DOS 3.30

Meridian Software IBM PS/2 Model 30 (with Same as Host
Systems, Inc. Floating-Point
Meridian Ada, Co-Processor) (under IBM
Version 4.1 PC-DOS 3.30)
(#900909W1.11035)

*Validated by Registration
Meridian Software Any Computer System Any Host
Systems, Inc. comprising: cpu: any that
Meridian Ada, executes the Intel 8086
Version 4.1 instruction set, fpu: Intel
(BASE 8087 or equivalent, as
#900909W1.11035) appropriate, memory: 640
KByte RAM minimum, disk: 20
MByte hard drive, OS: IBM
PC-DOS 3.30

Meridian Software ITT XTRA/286 (with Same as Host
Systems, Inc. Floating-Point
Meridian Ada, Co-Processor) (under MS-DOS
Version 4.1 3.20/OS286)
(#900909W1.11036)

*Validated by Registration
Meridian Software Any Computer System Any Host
Systems, Inc. comprising: cpu: any that
Meridian Ada, executes the Intel 80286,
Version 4.1 80386, or 80486 instruction
(BASE set, fpu: Intel 80287,
#900909W1.11036) 80387, or equivalent, as
appropriate, memory: 1.5
MByte RAM minimum, disk: 20
MByte hard drive, OS:
MS-DOS 3.20/OS286

Meridian Software 80 Data 386/25 (under Same as Host
Systems, Inc. 386/ix 1.0.6)
Meridian Ada,
Version 4.1
(#900909W1.11037)

*Validated by Registration
Meridian Software Any Computer System Any Host machine running the
Systems, Inc. comprising: cpu: any that same OS
Meridian Ada, executes the Intel 80386 or
Version 4.1 80486 instruction set, fpu:
(BASE optional Intel 80387 or
#900909W1.11037) equivalent, for 80386 cpu,
memory: 2 MByte RAM
minimum, disk: 40 MByte
hard drive, OS: SCO Unix
3.2 or Interactive 386/ix
1.0.6

*Validated by Registration
Meridian Software Sequent Symmetry 2000/40, Any Host
Systems, Inc. /200, /400 & /700 (under
Meridian Ada, DYNIX/ptx V1.2.0)
Version 4.1
(BASE
#900909W1.11037)

Meridian Software Apple Macintosh II (under Same as Host
Systems, Inc. System 6.0.3)
Meridian Ada,
Version 4.1
(#900909W1.11038)

*Validated by Registration
Meridian Software Apple Macintosh SE 30 Same as Host
Systems, Inc. (under System 6.0.3)
Meridian Ada,
Version 4.1
(BASE
#900909W1.11038)

Meridian Software Apple Macintosh II (under Same as Host
Systems, Inc. A/UX 2.0)
Meridian Ada,
Version 4.1
(#901108W1.11060)

Meridian Software Stardent Titan P3 (under Same as Host
Systems, Inc. Stardent/Unix 3.0)
Meridian Ada,
Version 4.1
(#901108W1.11061)

Meridian Software MicroVAX 3100 (under Ultrix Same as Host
Systems, Inc. 3.1)
Meridian Ada,
Version 4.1
(#901108W1.11062)

Meridian Software MicroVAX II (under VMS 5.2) Same as Host
Systems, Inc.
Meridian Ada,
Version 4.1
(#901108W1.11063)

MIPS Computer MIPS M/2000 (under RISC/os R3200-6 CPU board (bare
Systems 4.50) machine)
MIPS ASAPP 3.0
(#900619W1.11010)

MIPS Computer MIPS M/2000 (under RISC/os Same as Host
Systems 4.50)
MIPS Ada 3.0
(#900619W1.11011)

R.R. Software, IBM PS/2 Model 80 (under IBM PS/2 Model 80 (under MS
Inc. Phar Lap/DOS 3.3) DOS 3.3)
Janus/Ada 2.2.0
Phar Lap/DOS
(#901120W1.11088)

*Validated by Registration
R.R. Software, Any Computer System Any Computer System
Inc. Comprising: cpu: Intel Comprising: cpu: Intel
Janus/Ada 2.2.0 80386, fpu: optional, 80386, fpu: optional,
Phar Lap/DOS memory: 4 MByte RAM, disk: memory: 4 MByte RAM, disk:
(BASE 40 MByte hard drive (under 40 MByte hard drive (under
#901120W1.11088) Phar Lap/DOS 3.3) MS DOS 3.3)

R.R. Software, Northgate 386/25 (under SCO Same as Host
Inc. Unix 3.2)
Janus/Ada 2.2.0
Unix
(#901129W1.11089)

*Validated by Registration
R.R. Software, Any Computer System Same as Host
Inc. Comprising: cpu: Intel
Janus/Ada 2.2.0 80386, fpu: optional,
UNIX memory: 4 MByte RAM, disk:
(BASE 60 MByte hard drive (under
#901129W1.11089) Phar Lap/DOS 3.3)

Rational R1000 Series 300 (under Phillips PG2100 (OS-2000
M68020/OS-2000 Rational Environment Release 2.0)
Cross-Development Version D_12_24_0)
Facility, Version
7
(#901116W1.11081)

Rational R1000 Series 300 (under HP 9000 Model 370MH (under
M68020/Unix Rational Environment HP-UX Version 7.0)
Cross-Development Version D_12_24_0)
Facility, Version
7
(#901116W1.11082)

Rational R1000 Series 300 (under Motorola MVME135 (68020)
M68020/Bare Rational Environment (bare machine)
Cross-Development Version D_12_24_0)
Facility, Version
7
(#901116W1.11083)

Rational R1000 Series 300 (under Same as Host
Rational Rational Environment
Environment, Version D_12_24_0)
D_12_24_0
(#901116W1.11084)

Rockwell VAX 8650 (under VMS, CAPS/AAMP1 (bare machine)
International Version 5.3-1)
Corporation
DDC-Based
Ada/CAPS
Compiler, Version
6.0
(#900306W1.11129)

*Validated by Registration
Rockwell DEC VAX-11, VAXserver, CAPS/AAMP1 (bare machine)
International VAXstation, MicroVAX, VAX
Corporation 6000, VAX 8000 & VAX 9000
DDC-Based Series of computers (under
Ada/CAPS VMS Versions 5.3-1 & 5.4)
Compiler, Version
6.1
(BASE
#900306W1.11129)

Rockwell VAXstation 3100 Model 30 CAPS/AAMP2 (bare machine)
International (under VMS 5.3-1)
Corporation
DDC-Based
Ada/CAPS
Compiler, Version
6.0
(#900306W1.11130)

*Validated by Registration
Rockwell DEC VAX-11, VAXserver, CAPS/AAMP2 (bare machine)
International VAXstation, MicroVAX, VAX
Corporation 6000, VAX 8000 & VAX 9000
DDC-Based Series of computers (under
Ada/CAPS VMS Versions 5.3-1 & 5.4)
Compiler, Version
6.1
(BASE
#900306W1.11130)

SD-Scicon UK Ltd VAX Cluster (comprising Motorola MVME133XT board
XD Ada MC68020, VAXserver 3600, MicroVAX (MC68020) (bare machine)
Version 1.2 2000 (2) & MicroVAX II
(#901007N1.11042) machines) (under VMS
Version 5.3)

*Validated by Registration
SD-Scicon UK Ltd VAX Cluster (comprising Motorola MVME135-1 board
XD Ada MC68020 VAXserver 3600, MicroVAX (MC68020) and Motorola
Version 1.2 2000 (2) & MicroVAX II MVME147S-1 board (MC68030)
(BASE machines) (under VMS 5.3) (bare machines)
#901007N1.11042)

SD-Scicon UK Ltd Local Area VAX Cluster Fairchild F9450 on a SBC-50
XD Ada (comprising VAXserver 3600, board (MIL-STD-1750A) (bare
MIL-STD-1750A, MicroVAX 2000 (2) & machine)
Version 1.2 MicroVAX II machines)
(#901214N1.11080) (under VMS 5.3)

SD-Scicon UK Ltd Local Area VAX Cluster Motorola MC68000 on an
XD Ada MC68000, (comprising VAXserver 3600, MVME117-3FP board (bare
Version 1.2 MicroVAX 2000 (2) & machine)
(#910314N1.11134) MicroVAX II machines)
(under VMS 5.4)

Siemens Nixdorf SIEMENS NIXDORF 7.590G Same as Host
Informations- (under BS2000 V9.5)
systeme AG
SIEMENS NIXDORF
BS2000 Ada
Compiler V2.1
(#901119I1.11111)

*Validated by Registration
Siemens Nixdorf SIEMENS NIXDORF 7.530, Same as Host
Informations- 7.536, 7.541, 7.550, 7.551,
systeme AG 7.560, 7.561, 7.570, 7.571,
SIEMENS NIXDORF 7.580 & 7.590; 7.500-C30,
BS2000 Ada -C40, -H60, -H90 & -H120
Compiler V2.1 (under BS2000 V9.5 & V10.0)
(BASE
#901119I1.11111)

Silicon Graphics Iris-4D/380 (under IRIX Same as Host
Computer Systems Release 4D-3.3)
4D ADA 3.0
(#900703W1.11014)

Silicon Graphics Iris-4D/220S (under IRIX Same as Host
Computer Systems Release 4D-3.3)
4D ADA 3.0
(#900703W1.11015)

Silicon Graphics Iris-4D/25 (under IRIX Same as Host
Computer Systems Release 4D-3.3)
4D ADA 3.0
(#900703W1.11016)

Tartan, Inc. VAXstation 3100 (under VMS Texas Instruments TMS320C30
Tartan Ada 5.2) Application Board (bare
VMS/C30, Version machine)
4.0
(#901210I1.11121)

Tartan, Inc. Sun 3/60 (under SunOS Intel ICE960/25 on an Intel
Tartan Ada Version 4.0.3) EXV80960MC board (bare
Sun/960MC, machine)
Version 4.0
(#901210I1.11122)

Tartan, Inc. Sun 3/60 (under SunOS Same as Host
Tartan Ada Version 4.0.3)
Sun/Sun, Version
4.0
(#901211I1.11118)

Tartan, Inc. VAXstation 3100 (under VMS Intel ICE960/25 on an Intel
Tartan Ada 5.2) EXV80960MC board (bare
VMS/960MC, machine)
Version 4.0
(#901212I1.11120)

Tartan, Inc. Sun 3/50 (under SunOS Texas Instruments TMS320C30
Tartan Ada Version 4.0.3) Application Board (bare
Sun/C30 Version machine)
4.0
(#901212I1.11123)

Tartan, Inc. VAXstation 3200 (under VMS Texas Instruments STL VHSIC
Tartan Ada 5.2) 1750A (bare machine)
VMS/1750A,
Version 4.0
(#901213I1.11119)

TeleSoft Sun-3/280 (under Sun UNIX Same as Host
TeleGen2 Sun-3 4.2, Release 4.0.3)
Ada Development
System, Version
4.01
(#900525I1.11012)

TeleSoft Sun-4/280 (under Sun UNIX Same as Host
TeleGen2 Ada Host 4.2, Release 4.1)
Development
System, Version
4.1, for
SPARCSystems
(#901128W1.11090)

TeleSoft MicroVAX 3800 (under Motorola MVME133A-20
TeleGen2 Ada VAX/VMS Version 5.2) (MC68020) (bare machine)
Cross Development
System, Version
4.1, for VAX/VMS
to 68K
(#910121I1.11124)

TeleSoft MicroVAX 3800 (under Integrated Device Technology
TeleGen2 Ada VAX/VMS Version 5.2) IDT7RS301 System
Cross Development (R3000/R3010) (bare machine)
System, Version
4.1, for VAX/VMS
to MIPS
(#910123I1.11125)

TeleSoft Sun-3/480 (under Sun UNIX, Motorola MVME135-1 (MC68020)
TeleGen2 Ada Release 4.1) (bare machine)
Cross Development
System, Version
4.1, for SUN-3 to
68K
(#910125I1.11126)

TeleSoft VAX 6210 (under VMS 5.3) Intel iSBC 386-120
TeleGen2 Ada (80386/387) (bare machine,
Cross Development using TeleAda-EXEC 1.0)
System, Version
3.1 for VAX/VMS
to 386
(#910325I1.11139)

TeleSoft Sun-4/60 (under SunOS 4.1) Motorola MVME147 (68030)
TeleGen2 Ada (bare machine, using
Cross Development TeleAda-EXEC 1.0)
System, Version
3.1 for SPARC to
68K
(#910325I1.11140)

Texas Instruments MIPS M/2000 (under RISC/os TI DP32 R3000 Processor
MIPS-Ada, Version 4.02) (bare machine, using TI DP32
3.0 RTE Version 1.0)
(#901030W1.11052)

Texas Instruments MicroVAX 3400 (under VMS TI DP32 R3000 Processor
TI Ada, Version 5.3-1) (bare machine, using TI
1.0 Executive and Runtime
(#910403W1.11135) Services (EARS) Version 1.0)

U.S. Air Force VAXstation 3100 (under VMS Air Force RAID MIL-STD-1750A
AFCAS 1750A Ada Version 5.3) simulator (bare machine
Compiler, Version simulation, executing on the
1.0 Host)
(#910425W1.11142)

U.S. Air Force VAXstation 3100 (under VMS Air Force RAID MIL-STD-1750A
AFCAS 1750A/XMEM Version 5.3) simulator (bare machine
Ada Compiler, simulation, executing on the
Version 1.0 Host)
(#910425W1.11143)

Verdix DECstation 3100 (under Same as Host
Corporation ULTRIX 3.1)
VAda-110-6161,
Version 6.0.2
(#900228W1.11001)

*Validated by Registration
Verdix DECstation 2100, 5000; Any Host
Corporation DECsystem 5400, 5810, 5820,
VAda-110-6161, 5830, 5840 (under ULTRIX
Version 6.0.2 3.1)
(BASE
#900228W1.11001)

*Validated by Registration
Verdix DECstation 2100, 3100, 5000 Any Host
Corporation & 5200; and DECsystem 3100,
VADS DEC-RISC, 5000, 5100, 5200, 5400,
Ultrix 4.0, 5500, 5810, 5820, 5830 &
VAda-110-6161, 5840 (under ULTRIX 4.0)
Version 6.0
(BASE
#900228W1.11001)

Verdix VAXsystem 3100 (under Same as Host
Corporation ULTRIX 3.1)
VAda-110-0202,
Version 6.0
(#900228W1.11002)

*Validated by Registration
Verdix DEC VAX-11, MicroVAX, Any Host
Corporation VAXserver, VAXstation, VAX
VAda-110-0202, 6000, VAX 8000 & VAX 9000
Version 6.0 series (under ULTRIX 4.0)
(BASE
#900228W1.11002)

Verdix Sun 3/280 (under SunOS 4.0) Same as Host
Corporation
VADS Sun3 SunOS,
VAda-110-1313,
Version 6.0
(#900510W1.11003)

Verdix IBM PS/2 Model 80 (under Intel iSBC 386/12 (bare
Corporation AIX 1.1) machine)
VADS IBM PS/2 AIX
=> Intel 80386,
VAda-110-35315,
Version 6.0
(#900510W1.11004)

Verdix IBM PS/2 Model 80 (under Motorola MVME133A-20
Corporation AIX 1.1) (MC68020) (bare machine)
VADS IBM PS/2 AIX
=> 68K,
VAda-110-35125,
Version 6.0
(#900510W1.11005)

Verdix Sun 4/280 (under SunOS 4.0) Same as Host
Corporation
VADS Sun-4 SunOS,
VAda-110-4040,
Version 6.0
(#900510W1.11006)

*Validated by Registration
Verdix Sun-4/20, /65, /110, /150, Any Host
Corporation /260 & /280; SPARCserver
Sun Microsystems 330, 370, 390, 470 & 490;
Sun Ada, SunOS, SPARCstation SLC, 1, 1+, 2,
ADE-1.0-4-4-21, 330 & 370; and SPARCengine
Version 1.0 1 VME, IPC (under SunOS
(BASE 4.1)
#900510W1.11006)

*Validated by Registration
Verdix Sun-4/20, /65, /110, /150 & Any Host
Corporation /260; SPARCserver 310, 330,
VAda-110-4040, 370, 390, 470 & 490;
Version 6.0 SPARCstation SLC, 1, 1+, 2,
(BASE 310, 330 & 370; and
#900510W1.11006) SPARCengine 1 VME (under
SunOS 4.1)

Verdix Sun 3/280 (under SunOS 4.0) Motorola MVME147 (MC68030)
Corporation (bare machine)
VADS Sun3 SunOS
=> 68K,
VAda-110-13125,
Version 6.0
(#900510W1.11007)

*Validated by Registration
Verdix Sun-3/50, /60, /80, /150, Cyclone CVME 44, CVME 46 &
Corporation /160, /260, /280, /470 & CVME 48; Force CPU 21, CPU
VADS Sun3 SunOS /480 (under SunOS 4.0) 29, CPU 30, CPU 31, CPU 32,
=> 68K, CPU 37 & Golden Triangle
VAda-110-13125, Firepower; Heurikon HK68/V30
Version 6.0 Series, V2E Series & V2F
(BASE Series; Integrated Solutions
#900510W1.11007) VME68K20, VME68K30, VME68225
& Liberator SBC; Matrix
MS-CPU220 & MS-CPU320; Mizar
MZ7120, MZ7122, MZ7124,
MZ7130, MZ7170, MZ8120 &
MZ8130; Sun Microsystems 3E
Board Set; Motorola MVME147
Series & MVME141 (MC68030),
MVME133 Series, MVME134,
MVME135 & MVME136 (MC68020),
MVME-110, MVME-165 &
MVME-167; Tadpole TP32V &
TP33M (bare machines)

Verdix IBM RISC System/6000 Model Same as Host
Corporation 530 (under AIX 3.1)
VADS IBM RISC
System/6000, AIX
3.1,
VAda-110-7171,
Version 6.0
(#900726W1.11017)

Verdix HP 9000/350 (under HP-UX Same as Host
Corporation 7.0)
VADS HP 9000/300,
HP-UX 7.0,
VAda-110-1515,
Version 6.0
(#900726W1.11018)

*Validated by Registration
Verdix HP 9000 Series 300 Models Any Host
Corporation 310, 320, 330, 340, 350,
VADS HP 9000/300, 360 & 370 (under HP-UX 7.0)
HP-UX 7.0,
VAda-110-1515,
Version 6.0
(BASE
#900726W1.11018)

Verdix Prime EXL/320 (under UNIX Same as Host
Corporation System V/386 3.2)
VADS Prime
EXL/320, UNIX
System V/386 3.2,
VAda-110-3232,
Version 6.0
(#900726W1.11019)

Verdix MicroVAX 3100 (under Same as Host
Corporation VAX/VMS V5.2)
VADS VAX/VMS 5.2,
VAda-110-0303,
Version 6.0
(#900726W1.11020)

Verdix MicroVAX 3100 (under Motorola MVME147 (MC68030)
Corporation VAX/VMS V5.2) (bare machine)
VADS
VAX/VMS=>68k, VMS
5.2,
VAda-110-03125,
Version 6.0
(#900726W1.11021)

*Validated by Registration
Verdix DEC VAX-11, VAXserver, Cyclone CVME 44, CVME 46 &
Corporation VAXstation, MicroVAX, VAX CVME 48; Force CPU 21, CPU
VADS VAX/VMS => 6000, VAX 8000 & VAX 9000 29, CPU 30, CPU 31, CPU 32,
68K, VMS 5.2, Series of computers (under CPU 37 & Golden Triangle
VAda-110-03125, VMS 5.2) Firepower; Heurikon HK68/V30
Version 6.0 Series, V2E Series & V2F
(BASE Series; Integrated Solutions
#900726W1.11021) VME68K20, VME68K30, VME68225
& Liberator SBC; Matrix
MS-CPU220 & MS-CPU320; Mizar
MZ7120, MZ7122, MZ7124,
MZ7130, MZ7170, MZ8120 &
MZ8130; Sun Microsystems 3E
Board Set; Motorola MVME147
Series & MVME141 (MC68030),
MVME133 Series, MVME134,
MVME135 & MVME136 (MC68020),
MVME-165 & MVME167; Tadpole
TP32V & TP33M (bare
machines)

Verdix MicroVAX 3100 (under Intel iSBC 386/32 (bare
Corporation VAX/VMS V5.2) machine)
VADS
VAX/VMS=>Intel
386, VMS 5.2,
VAda-110-03315,
Version 6.0
(#900726W1.11022)

Verdix MicroVAX 3100 (under Ultrix Tektronix MV System, MV
Corporation 3.1) 68020 Support System, using
VADS TekDB Version 5.0.2
VAX/Ultrix=>68k, emulation software (bare
Ultrix 3.1, machine simulation)
VAda-110-02125,
Version 6.0
(#900726W1.11023)

*Validated by Registration
Verdix DEC VAX-11, VAXserver, Cyclone CVME 44, CVME 46 &
Corporation VAXstation, MicroVAX, VAX CVME 48; Force CPU 21, CPU
VADS VAX/ULTRIX 6000, VAX 8000 & VAX 9000 29, CPU 30, CPU 31, CPU 32,
=> 68K, ULTRIX Series of computers (under CPU 37 & Golden Triangle
3.1, Ultrix 3.1) Firepower; Heurikon HK68/V30
VAda-110-02125, Series, V2E Series & V2F
Version 6.0 Series; Integrated Solutions
(BASE VME68K20, VME68K30, VME68225
#900726W1.11023) & Liberator SBC; Matrix
MS-CPU220 & MS-CPU320; Mizar
MZ7120, MZ7122, MZ7124,
MZ7130, MZ7170, MZ8120 &
MZ8130; Sun Microsystems 3E
Board Set; Motorola MVME147
Series & MVME141 (MC68030),
MVME133 Series, MVME134 &
MVME135 (MC68020); Tadpole
TP32V & TP33M (bare
machines)

Verdix DECstation 3100 (under Motorola MVME147 (MC68030)
Corporation Ultrix 3.1) (bare machine)
VADS
DEC-RISK=>68k,
Ultrix 3.1,
VAda-110-61125,
Version 6.0
(#900726W1.11024)

*Validated by Registration
Verdix DECstation 2100, 3100, 5000 Cyclone CVME 44, CVME 46 &
Corporation & 5200; and DECsystem 3100, CVME 48; Force CPU 21, CPU
VADS DEC-RISC => 5000, 5100, 5200, 5400, 29, CPU 30, CPU 31, CPU 32,
68K, Ultrix 4.0, 5500, 5810, 5820, 5830 & CPU 37 & Golden Triangle
VAda-110-61125, 5840 (under ULTRIX 4.0) Firepower; Heurikon HK68/V30
Version 6.0 Series, V2E Series & V2F
(BASE Series; Integrated Solutions
#900726W1.11024) VME68K20, VME68K30, VME68225
& Liberator SBC; Matrix
MS-CPU220 & MS-CPU320; Mizar
MZ7120, MZ7122, MZ7124,
MZ7130, MZ7170, MZ8120 &
MZ8130; Sun Microsystems 3E
Board Set; Motorola MVME147
Series (MC68030), MVME133
Series, MVME134 & MVME135
(MC68020); Tadpole TP32V &
TP33M (bare machines)

Verdix IBM RISC System/6000 Model Motorola MVME147 (MC68030)
Corporation 530 (under AIX 3.1) (bare machine)
VADS IBM RISC
System/6000=>68k,
AIX 3.1,
VAda-110-71125,
Version 6.0
(#900726W1.11025)

Verdix IBM RISC System/6000 Model Intel iSBC 386/116 (bare
Corporation 530 (under AIX 3.1) machine)
VADS IBM RISC
System/6000=>386,
AIX 3.1,
VAda-110-71315,
Version 6.0
(#900726W1.11026)

Verdix MicroVAX 3100 (under VMS Intel iSBC 386/116 uisng a
Corporation Version 5.2) WEITEK 3167 fpu (bare
VADS VAX/VMS 5.2 machine)
=> Intel
80386/WEITEK
3167,
VAda-110-03315,
Version 6.0
(#901129W1.11094)

Verdix Intel 302 System (under Same as Host
Corporation UNIX System V/386, Release
VADS UNIX System 4)
V/386, Rel. 4,
VAda-110-3232,
Version 6.0
(#901129W1.11095)

Verdix Sequent Balance 8000 (under Same as Host
Corporation DYNIX Version 3.0)
VADS Sequent
Balance DYNIX
V3.0,
VAda-110-2323,
Version 6.0
(#901129W1.11096)

Verdix Sun-4/260 (under SunOS 4.0) Motorola MVME147 (68030)
Corporation (bare machine)
VADS Sun4 => 68K,
Sun OS 4.0,
VAda-110-40125,
Version 6.0
(#901129W1.11097)

Verdix Sun-4/260 (under SunOS 4.0) Sun-3/260 (under SunOS 4.0)
Corporation
VADS Sun-4 =>
Sun-3, Sun OS
4.0,
VAda-110-4013,
Version 6.0
(#901129W1.11098)

Verdix AT&T 3B15 (under UNIX Same as Host
Corporation System V, Release 3.1)
VADS AT&T 315
UNIX System V,
Rel. 3.1,
VAda-110-5151,
Version 6.0
(#901129W1.11099)

Verdix HP 9000 Model 350 (under Motorola MVME133A (68020)
Corporation HP-UX 7.0) (bare machine)
VADS HP-9000/300
=> 68K, HP-UX 7.0
, VAda-110-15125,
Version 6.0
(#901129W1.11100)

*Validated by Registration
Verdix HP 9000 Series 300 Models Cyclone CVME 44, CVME 46 &
Corporation 310, 320, 330, 340, 350, CVME 48; Force CPU 21, CPU
VADS HP-9000/300 360 & 370 (under HP-UX 7.0) 29, CPU 30, CPU 31, CPU 32,
=> 68K, HP-UX CPU 37 & Golden Triangle
7.0, Firepower; Heurikon HK68/V30
VAda-110-15125, Series, V2E Series & V2F
Version 6.0 Series; Integrated Solutions
(BASE VME68K20, VME68K30, VME68225
#901129W1.11100) & Liberator SBC; Matrix
MS-CPU220 & MS-CPU320; Mizar
MZ7120, MZ7122, MZ7124,
MZ7130, MZ7170, MZ8120 &
MZ8130; Sun Microsystems 3E
Board Set; Motorola MVME147
Series (MC68030), MVME133
Series, MVME134 & MVME135
(MC68020); Tadpole TP32V &
TP33M (bare machines)

Verdix Data General AViiON Model Same as Host
Corporation 5120 (under DG/UX 4.3)
VADS BCS/88K,
AViion DGUX 4.3,
VAda-110-8080,
Version 6.1
(#901129W1.11101)

Verdix Sun-4/490 (under SunOS 4.1) SPARCengine 1E (bare
Corporation machine)
VADS Sun4 =>
SPARC, Sun OS
4.1,
VAda-110-40440,
Version 6.0
(#901129W1.11102)

Wang Wang VS 8480 (under Wang Same as Host
Laboratories, VSOS 7.30.02)
Inc.
Wang VS Ada
Version 5.00.00
(#901129W1.11093)

*Validated by Registration
Wang Wang VS Models: 100 & 300; Same as Host
Laboratories, 5430, 5440, 5450 & 5460;
Inc. 7010, 7110, 7120, 7150 &
Wang VS Ada 7310; 8220, 8230, 8260,
Version 5.00.00 8430, 8460, 8470 & 8480;
(BASE and 10050, 10075 & 10100
#901129W1.11093) (under all VS OS versions
7.21.xx & 7.30.xx)

York Software Intergraph InterPro 3050 Same as Host
Engineering Workstation (under CLIX
Limited R3.1)
York Ada Compiler
Environment (ACE)
Release 5
(#901127N1.11073)

*Validated by Registration
York Software InterServe 200, 300, 2000, Any Host
Engineering 3000, 4200, 5200, 6000,
Limited 6105 & 6505 (under CLIX
York Ada Compiler Release 3.1)
Environment (ACE)
Release 5
(BASE
#901127N1.11073)

*Validated by Registration
York Software InterAct 220, 2020, 3050, Any Host
Engineering 6040, 6080, 6240 & 6280
Limited (under CLIX Release 3.1)
York Ada Compiler
Environment (ACE)
Release 5
(BASE
#901127N1.11073)

*Validated by Registration
York Software Intergraph Mobile GIS/C2 Same as Host
Engineering (under CLIX Release 3.1)
Limited
York Ada Compiler
Environment (ACE)
Release 5
(BASE
#901127N1.11073)

*Validated by Registration
York Software InterPro 125, 225, 340, Any Host
Engineering 360, 2020, 3070, 6040,
Limited 6240, 6080 & 6280 (under
York Ada Compiler CLIX Release 3.1)
Environment (ACE)
Release 5
(BASE
#901127N1.11073)

*Validated by Registration
York Software InterView 220 & 3050 (under Any Host
Engineering CLIX Release 3.1)
Limited
York Ada Compiler
Environment (ACE)
Release 5
(BASE
#901127N1.11073)
____________________________________________________________________________

CONTACT NAMES, ADDRESSES
AND PHONE NUMBERS
FOR COMPILER VENDORS
____________________________________________________________________________

COMPANY POINT of CONTACT PHONE NUMBER


AETECH James Dorman (619) 755-1277
380 Stevens Ave., Suite 212
Solana Beach, CA 92075

Aitech Systems Ltd Gabriel Leemor (408) 720-9400
1250 Oakmead Pkwy #210
Sunnyvale, CA 94086

Alliant Computer Systems Paul Rubin (508) 486-4950
1 Monarch Dr.
Littleton, MA 01460

Alsys Lori Heyman (617) 270-0030
67 South Bedford Street
Burlington, MA 01803-5152

Apollo Computer Roberta Anslow (508) 256-6600
330 Billerica Rd. ext: 4445
Chelmsford, MA 01824

BBN Advanced Computers Joe Walters (617) 873-3229
10 Fawcett St.
Cambridge, MA 02138

Computer Sciences Corp. Ralph Mattei (609) 234-1100
Integrated Systems Division
304 West Rt. 38, P.O. Box N
Moorestown, NJ 08057

Concurrent Computer Corp. Michael Devlin (201) 758-7531
106 Apple St.
Titon Falls, NJ 07724

Control Data Robert Cunius (301) 468-8067
6003 Executive Blvd.
Rockville, MD 20852

CONVEX Computer Corp. Larry Grossman (214) 497-4383
3000 Waterview Parkway
P.O. Box 833851
Richardson, TX 75083

Cray Research Sylvia Crain (505) 988-2468
500 Montezuma, Suite 118
Sante Fe, NM 87501

Data General Corp. John Doyle (508) 366-8911
4400 Computer Dr.
Westboro, MA 01580

DDC International Mike Turner (602) 944-1883
P.O. Box 37767
Phoenix, AZ 85069

Digital Equipment Corp. Ms. Pat Bernard (603) 881-0247
MS: ZK2-1/M11
110 Spit Brook Rd.
Nashua, NH 03062

E-Systems, Inc. Tim Holton (813) 381-2000
ECI Division
1501 72nd Street North
St. Petersburg, FL 33733

Encore Computer Gary Beerman (305) 587-2900
6901 W. Sunrise Blvd. ext: 5866
Ft. Lauderdale, FL 33313

Evans & Sutherland Ian Crook (801) 582-5847
P.O. Box 8700 ext: 5523
580 Arapeen Drive
Salt Lake City, UT 84108

Harris Jeff Hollensen (305) 973-5427
2101 W. Cypress Creek Rd
Ft. Lauderdale, FL 33309

Hewlett-Packard Dave Graham (408) 725-8111
19447 Pruneridge Ave.
MS: 47LH
Cupertino, CA 95014

Honeywell Bull Milada Williamson (703) 827-3010
Honeywell Federal Systems Co., Inc.
7900 Westpark Drive
McLean, VA 22102

IBM James Hamilton (AIX OS) (416) 448-2113
IBM Canada Ltd Antony Niro (VM & MVS OS) (416) 448-2031
844 Don Mills
North York, Ontario
M3C 1V7 Canada

Intel Corporation Ellen Deleganes (503) 629-7600
Intel Scientific Computers
15201 NW Greenbrier Parkway
Beaverton, OR 97006

InterACT Paul Houlihan (212) 696-3700
417 Fifth Ave.
New York, NY 10016

Irvine Compiler Joe Kohli (714) 250-1366
18021 Sky Park Circle
Suite L
Irvine, CA 92714

Krupp Atlas Elektronik GmbH Dieter Weigel +49-241/457-3058
Sebaldsbruecker Heerstr. 235
P.O. Box 44 85 45
W-2800 Bremen 44
Germany

Meridian Software Systems Eric Olsen (800) 221-2522
10 Pasteur St. (714) 727-0700
Irvine, CA 92718

MIPS Computer Systems Ankur Saha (408) 524-8095
928 Arques Ave.
Sunnyvale, CA 94086

MODCOMP Alan Scharf (305) 977-1317
1650 W. McNab Rd.
Ft. Lauderdale, FL 33340-6099

MOTOROLA, Inc. Mr. Jesse Winters (602) 438-3576
Motorola Micro-Computer Division
2900 South Diablo Way
Tempe, AZ 85282

NEC Corporation Mr. Noboru Kotani +81 3-456-7443
NEC-Daito-Tamachi-build.
14-22 Shibaura 4-Chome,
Minato-ku
Tokyo 108, Japan

New York University Bernard Banner (212) 998-3480
251 Mercer Street
New York, NY 10012

NIPPON TELEGRAPH & Mr. Shigeru Nishiyama +81-3-740-5717
TELEPHONE CORP.
NTT Software Laboratories
NTT TWINS Data Bldg 8F
1-9-1 Kohnan Minato-ku
Tokyo 108 Japan

Proprietary Software Systems Joel Fleiss (213) 394-5233
429 Santa Monica Blvd
Suite 430
Santa Monica, CA 90401

Pyramid Technology Corp. Cheryl Archer (415) 335-8912
1295 Charleston Road
Mountain View, CA 94043

R.R. Software Mark Glover (608) 244-6436
4337 West Beltline Hwy
Madison, WI 53711

Rational Diana Martin (408) 496-3625
3320 Scott Blvd.
Santa Clara, CA 95054-3197

Ready Systems Liz Parrish (408) 522-2600
470 Potrero Ave.
Sunnyvale, CA 94086

Rockwell International Don Stover (319) 395-5648
L Station 124-211
400 Collins Rd. NE
Cedar Rapids, IA 52498

ROLM Mil-Spec Computers Jon Elliott (408) 432-7701
3151 Zanker Rd.
San Jose, CA 95134-1928

SD_SCICON plc Bill Toscano or (617) 273-3030
(Systems Designer Software) Bill Mclaughlin
8 New England Executive Park
Burlington, MA 01803

Siemens Nixdorf Dr. Hoyer +49-89-63644234
Informationssysteme AG
STM SD 2
Otto-Hahn-Ring 6
W-8000 Muenchen 83
Germany

Silicon Graphics Dave Bagshaw (415) 960-1980
2011 N. Shoreline Blvd.
P. O. Box 7311
Mountain View, CA 94039-7311

Software Leverage Glenn Allin (617) 648-1414
485 Massachusetts Ave.
Arlington, MA 02174

STERIA Patrick Chemla +33 1 39 46 97 97
26, Avenue de l'Europe
F-78140 Velizy
France

SYSTEAM KG Lori Heyman (617) 270-0030
(now Alsys Gmbh)
67 South Bedford Street
Burlington, MA 01803-5152

Tandem Computers Brian Ball (408) 725-6000
19191 Dalco Parkway
Cupertino, CA 95014

Tartan, Inc. Susan Englert (412) 856-3600
300 Oxford Drive
Pittsburgh, PA 15146

TeleSoft Karen Johnson (619) 457-2700
5959 Cornerstone Court West
San Diego, CA 92121

Texas Instruments Richard Powers (214) 575-6214
6500 Chase Oaks Blvd.
P.O. Box 869305
Plano, TX 75086

THOMSON-CSF, Alain Kron +33 1 47 60 30 00
DIVISION CIMSA SINTRA
Parc d'Activites Kleber
160, Boulevard de Valmy
B.P. 82
F-92704 Colombes Cedex
France

TLD Systems Ms. Terry Dunbar (213) 542-5433
3625 Del Amo Blvd.
Suite 100
Torrance, CA 90503

Tolerant Systems Thelma Bataille (408) 433-5588
81 East Daggett Drive
San Jose, CA 95134

U.S. NAVY Bill Wilder (703) 602-8204
U.S. Navy NAVSEA PMS-412
Washington, D.C. 20362-5101

UNISYS Corp Jack Dobratz (215) 542-6209
Unisys U.S. Information Systems
P.O. Box 500, MS: B360
Blue Bell, PA 19424

Verdix Roger Baker (703) 378-7600
14130 A Sullyfield Circle
Chantilly, VA 22021

Wang Laboratories Fred Rozakis (508) 967-7002
One Industrial Ave.
MS: 019-890
Lowell, MA 01851

York Software Engineering Ltd Prof. I.C. Wand +44 904 432725
University of York
York, YO1 5DD, ENGLAND
*********************************************************************
*********************************************************************


AN INTRODUCTION TO THE VALIDATION PROCESS

An "Ada implementation" is an Ada compiler, linker and any other
necessary software with both its host computer (on which the compiler
is run) and the target computer (on which the generated code will be
run).

The purpose of validation is to encourage conformity of Ada
implementations with the standard -- the Ada Programming Language;
also referred to as ANSI/MIL-STD-1815A (1983). However, users are
cautioned that the yardstick of conformity testing is the collection
of test programs contained in the Ada Compiler Validation Capability
(ACVC). Thus, compliance is measured only within the limits of these
tests.

Also, characteristics not specified by the standard, such as
performance or suitability for a particular application, are outside
the scope of Ada validation.

The validation process is carried out by the Ada certification body;
this consists of: the Ada Joint Program Office (AJPO) for overall
direction; the Ada Validation Organization (AVO) and the ACVC
Maintenance Organization (AMO) for technical support; and the Ada
Validation Facilities (AVFs) for performing validations.

There are two ways of obtaining validated status: validation by AVF
testing; and for "derived" compilers only, validation by registration.


ADA COMPILER VALIDATION CAPABILITY (ACVC):

As indicated above, the Ada Compiler Validation Capability (ACVC) is a
suite of programs (and support software) that are designed to test
whether an Ada implementation complies with the Ada programming
language.

Before a new version of the ACVC test suite is used for validation, it
is released for a public review period of six months. During this
period, a compiler implementor (developer/vendor) or any interested
party may submit comments to the ACVC Maintenance Organization. At
the end of six months, the new version of the ACVC is released for
validation use for a period of 18 months. Effective October 1988, a
compiler's validation certificate expires one year after the
expiration date of the ACVC version used for the validation.


VALIDATION BY AVF TESTING:

In order to obtain a validation certificate, there are six steps that
must be completed by a customer and the Ada certification body. These
steps are:

(1) A formal validation agreement between the customer and
an AVF -- this is required in order to obtain validation
services.

(2) Prevalidation -- this consists of customer testing,
submission of results to the AVF, and resolution of any test
issues that may arise (for instance, a missing or incomplete
result to a test).

(3) Validation testing performed by an AVF at the customer's
site.

(4) A Declaration of Conformance -- this is completed and signed
by the customer not later than at validation testing. A
validation certificate will not be issued until a Declaration
of Conformance has been completed.

(5) A Validation Summary Report (VSR) -- this is prepared by the
AVF to document the validation by testing.

(6) A Validation Certificate -- this is issued by authority of
the AJPO for a successfully tested Ada implementation.

For each certificate issued, the AJPO makes an entry in the list of
validated Ada compilers. This entry will be removed when the
certificate expires.


VALIDATION OF A DERIVED COMPILER (VALIDATION BY REGISTRATION):

An Ada implementation may be "derived" from one that has been
validated by testing (a base implementation). The implementor of a
derived compiler may request that it be validated by registration,
rather than by AVF testing.

For a implementation to be derived, four conditions must be true:

(1) the validation certificate for the base implementation has an
expiration date at least three months beyond the time of
derivation;

(2) the host and target computer systems of both the base and
derived Ada implementations have compatible instruction sets
and operating systems;

(3) the derived Ada implementation contains an Ada compiler that
was obtained from the Ada compiler of the base implementation
by changes that are within the scope of accepted software
maintenance practices; and

(4) the "result profile" for the Ada implementation is either the
same as the base implementation or, if there are minor
differences, these differences are justified as being within
the scope of accepted software maintenance practices.

Two Ada implementations which pass a given ACVC version have the same
"result profile" when:

(a) they use the same customized test suite;

(b) inapplicable test programs in the customized test suite are
the same for both implementations;

(c) inapplicable test programs are inapplicable for the same
reasons; and

(d) any implementation dependent characteristics tested for by
the customized test suite are the same for both
implementations.

The AVF will review registration requests for completeness and
plausibility of information. A derived compiler that is accepted by
the AVF and the AVO will be forwarded to the AJPO to be added to the
public list of validated Ada compilers.


FOR FURTHER INFORMATION:

For further information, see "Ada Compiler Validation Procedures,
Version 2.1, August 1990". Copies are available through the Defense
Technical Information Center (DTIC) and the National Technical
Information Service (NTIS). The accession number is ADA 228 614.
The document is also available on the Ada Information Clearinghouse
Bulletin Boards.

NTIS
----
National Technical Information Service
U.S. Department of Commerce
5285 Port Royal Road
Springfield, Virginia 22161
(703) 487-4650

The National Technical Information Service sells documents to the
public.


DTIC
----
Defense Technical Information Center
Cameron Station
Alexandria, Virginia 22314
(703) 274-7633 AV 284-7633

The Defense Technical Information Center distributes documents only
to Military, government, or defense contractors who are registered
users of DTIC.


ADA VALIDATION FACILITY MANAGERS

Mr. Bobby Evans
Ada Validation Facility
Language Control Facility ASD/SCEL
Building 676, Room 135
Wright-Patterson Air Force Base
Ohio 45433-6503
(513) 255-4472

Mr. Jon Leigh
Mr. Dave Bamber
The National Computing Centre, Ltd.
Oxford Road
Manchester
England, M1 7ED
+44 61 228 6333

Mr. Fabrice Garnier de Labareyre
Mr. Alphonse Philippe
AFNOR
Tour Europe, Cedex 7
F-92080 Paris la Defence
France
+33 1 42 91 5960

Dr. William Dashiell
National Institute of Standards and Technology
National Computer Systems Laboratory
Building 255, Room A266
Gaithersburg, MD 20899
(301) 975-2490

Mr. Michael Tonndorf
IABG, Dept ITE
Einsteinstrasse 20
W-8012 Ottobrunn
Germany
+49 89 6088 2477

*********************************************************************
*********************************************************************



  3 Responses to “Category : Miscellaneous Language Source Code
Archive   : ADA-0501.ZIP
Filename : VAL-COMP.HLP

  1. Very nice! Thank you for this wonderful archive. I wonder why I found it only now. Long live the BBS file archives!

  2. This is so awesome! 😀 I’d be cool if you could download an entire archive of this at once, though.

  3. But one thing that puzzles me is the “mtswslnkmcjklsdlsbdmMICROSOFT” string. There is an article about it here. It is definitely worth a read: http://www.os2museum.com/wp/mtswslnk/