From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!SEI.CMU.EDU!John.Foreman From: John.Foreman@SEI.CMU.EDU Newsgroups: net.lang.ada Subject: Validated Ada compilers (14 oct 86 version) Message-ID: <8610151445.AA15888@cf.sei.cmu.edu> Date: Wed, 15-Oct-86 10:45:05 EST Article-I.D.: cf.8610151445.AA15888 Posted: Wed Oct 15 10:45:05 1986 Date-Received: Fri, 31-Oct-86 03:22:28 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet List-Id: The following is the list of validated Ada* compilers, listed alpha- betically by vendor. A vendor's validation certificate is in effect for one year, expiring on the Expiration Date. There are currently 64 validated Ada compilers. *Ada is a registered trademark of the U.S. Government (Ada Joint Program Office) ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | HOST | TARGET | ACVC | Expiration| | Compiler | Machine & (OS) | Machine & (OS) | Version| Date | |================|==================|==================|========|===========| | Advanced | VAX-11/785 | Fairchild | 1.7 | 87-07-16 | | Computer | (under VMS 4.2) | 9450/1750A | | | | Techniques Corp. | (bare machine) | | | | A.C.T. Ada 1750A | | | | | Compiler System | | | | | Release 1.01 | | | | | |----------------|------------------|------------------|--------|-----------| | Air Force Arma-| CDC Cyber 170/760| Zilog Z8002 Dev- | 1.6 | 87-01-14 | | ment Laboratory| (NOS 2.4) | elopment Module | | | | AFATL Ada Cross | (Dev. Module | | | | Compiler 1.0 | Monitor Program) | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | VAX 11/750 |ALTOS ACS 68000 14| 1.6 | 87-02-07 | | AlsyCOMP_001 | (VMS 4.1) | (ALTOS Version 1)| | | | Version 1.3 | | | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | HP 9000 200/220 | Same as Host | 1.6 | 87-02-01 | | AlsyCOMP_002 | & 300/320 | | | | | Version 1.0 | (HP-UX V5.0) | | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | Apollo DOMAIN | Same as Host | 1.6 | 87-02-02 | | AlsyCOMP_004 | DN460, DN360, | | | | | Version 1.0 | DSP80A | | | | | | (AEGIS Ver. SR9) | | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | SUN Workstations | Same as Host | 1.6 | 87-02-01 | | AlsyCOMP_005 | 2/120,2/50,3/160 | | | | | Version 1.0 | (SUN UNIX 4.2) | | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | VAX 11/750 | IBM PC-AT | 1.6 | 87-03-04 | | AlsyCOMP_008 | (VMS 4.1) | (MS-DOS 3.1) | | | | Version 1.0 | | | | | |----------------|------------------|------------------|--------|-----------| 1 *Ada is a registered trademark of the U.S. Government (Ada Joint Program Office) ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | Host | Target | ACVC | Expiration| | Compiler | Machine and (OS) | Machine and (OS) | Version| Date | |================|==================|==================|========|===========| | ALSYS | IBM PC/AT with | Same as Host | 1.7 | 87-05-22 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | TANDY 3000 with | Same as Host | 1.7 | 87-06-16 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | SPERRY IT with | Same as Host | 1.7 | 87-06-16 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | ZENITH 200 with | Same as Host | 1.7 | 87-06-16 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | VECTRA with | Same as Host | 1.7 | 87-06-16 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | ALSYS |C0MPAQ Deskpro 286| Same as Host | 1.7 | 87-06-16 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | ALSYS | GOUPIL G40 with | Same as Host | 1.7 | 87-06-16 | | AlsyCOMP_003 | vendor-supplied | | | | | Version 1.1.1 | 4MB memory module| | | | | | (MS/DOS Ver. 3.1)| | | | |----------------|------------------|------------------|--------|-----------| | AT&T Informa- | AT&T 3B2/400+ | Same as Host | 1.7 | 87-07-16 | | tion Systems | (under AT&T UNIX | | | | | Unix Ada | System V, | | | | | Compiler, | Release 3.0) | | | | | Version 1.0 | | | | | |----------------|------------------|------------------|--------|-----------| | Concurrent | Concurrent | All Hosts, | 1.7 | 87-07-16 | | Computer | Computer Corpora-| self-targeted; | | | | Corporation | tion Series 3200:| and the 3280 with| | | | C3 Ada, | 3200 MPS, 3203, | the 3200 MPS as | | | | Version | 3205, 3210, 3230,| host (under OS/32, | | | R00-00.00 | 3250, 3230 XP, | Version R08-01) | | | | | 3250 XP, 3230 MPS, | | | | | 3260 MPS (under OS/32, | | | | | OS/32, Version R08-01) | | | |----------------|------------------|------------------|--------|-----------| 2 ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | Host | Target | ACVC | Expiration| | Compiler | Machine and (OS) | Machine and (OS) | Version| Date | |================|==================|==================|========|===========| | Data General | MV/10000 | MV/10000 | 1.7 | 87-06-15 | | Corporation | (under AOS/VS, | (under AOS/RT32, | | | | ADE Ada, | Rev. 6.04) | Rev. 4.00; and | | | | Rev. 2.40 | | under AOS/RT32, | | | | Compiler | | Rev. 4.00) | | | |----------------|------------------|------------------|--------|-----------| | DDC | VAX 11/785 | Same as Host | 1.6 | 87-02-26 | | International | (VMS 4.1) | | | | | DDC Ada Compiler | | | | | System | | | | | |----------------|------------------|------------------|--------|-----------| | Department of | VAX 8600,VAX11/ | All Host | 1.6 | 87-01-16 | | the Army | 780,VAX11/785 | Configurations | | | | ALS AdaVAX | (VMS 4.1) | | | | | Version 2.47 |MicroVAX II | | | | |(same as SofTech)(MicroVMS 4.1M) | | | | |----------------|------------------|------------------|--------|-----------| | Digital | VAX 8600, | All Host | 1.6 | 86-12-05 | | Equipment Corp.| VAX-11/785, /782,| Configurations | | | | DEC VAX-Ada | /780, /750, &/730| (under VMS 4.2 or| | | | Compiler V.1.1| (under VMS 4.2) | MicroVMS 4.2) | | | | | and | | | | | | MicroVAX I & II, | | | | | | VAXstation I & II| | | | | | (MicroVMS 4.2) | | | | | VAXELN Ada | VAX 8600, VAXes | MicroVAX II | | | | Version 2.0 | 11/785,782,780, | | | | | | 750,730 (VAX/VMS)| | | | | | MicroVAX I&II | | | | | | (VAXELN 2.0) | | | | |----------------|------------------|------------------|--------|-----------| | Harris | Harris HCX-7 | Same as Host | 1.7 | 87-07-16 | | Corporation | (under HCX/UX, | | | | | Harris Ada | Version 2.1) | | | | | Compiler, | | | | | | Version 1.0 | | | | | | | | | | | |----------------|------------------|------------------|--------|-----------| | Harris | Harris H1200, | Same as Host, | 1.7 | 87-06-15 | | Corporation | H800 | respectively | | | | Harris Ada | (under VOS 5.1) | | | | | Compiler, | | | | | | Version 1.0 | | | | | |----------------|------------------|------------------|--------|-----------| | Harris | Harris H700, H60 | Same as Host, | 1.7 | 87-09-03 | | Corporation | (under VOS 5.1) | respectively | | | | Harris Ada | | | | | | Compiler, | | | | | | Version 1.0 | | | | | |----------------|------------------|------------------|--------|-----------| 3 ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | Host | Target | ACVC | Expiration| | Compiler | Machine and (OS) | Machine and (OS) | Version| Date | |================|==================|==================|========|===========| | Honeywell | DPS 6/95, 6/94, | All Hosts, | 1.6 | 87-02-28 | | Information |6/75, 6/74, & 6/70| self-targeted; | | | | Systems | (under MOD 400, | and the | | | | GCOS6 Ada |Releases 3.0 & 3.1) 6/75 as a target | | | | Compiler | | for the 6/95 or | | | | Version 1.1 | DPS 6/85 | 6/85 Hosts) | | | | |(MOD Release 3.1) | | | | |----------------|------------------|------------------|--------|-----------| | Honeywell | DPS-88 | Same as Host | 1.6 | 87-03-19 | | Large Systems | (SR2300 (7/85) | | | | | GCOS-8, | IFAD B.4 SMAS BO)| | | | | Version 3.1 | | | | | |----------------|------------------|------------------|--------|-----------| | IBM Corporation| IBM 4381 | Same as Host | 1.7 | 87-07-16 | | IBM Ada | (under MVS, | | | | | Compiler, | Release 3.8) | | | | | Version 1.0 | | | | | |----------------|------------------|------------------|--------|-----------| | IBM Corporation| IBM 4381 | Same as Host | 1.7 | 87-07-16 | | IBM Ada | (under VM/CMS | | | | | Compiler, | Release 3.6) | | | | | Version 1.0 | | | | | |----------------|------------------|------------------|--------|-----------| |Intermetrics,Inc| IBM 370 architec-| Same as Host | 1.6 | 87-03-09 | | I2Ada Compiler,| ture--IBM 3083, | | | | | Version 17.08 |Model BX2 or IBM | | | | | |4341, Model L2 | | | | | | (under UTS 2.3) | | | | |----------------|------------------|------------------|--------|-----------| | New York | ELXSI System 6400| Same as Host | 1.7 | 87-06-15 | | University | (under ENIX 3.2 | | | | | NYU Ada/Ed-C, | System V, | | | | | Version 1.7 | Release 2) | | | | |----------------|------------------|------------------|--------|-----------| | New York | VAX-11/780 | Same as Host | 1.7 | 87-06-15 | | University | (under UNIX 4.2 | | | | | NYU Ada/Ed-C, | BSD) | | | | | Version 1.7 | | | | | |----------------|------------------|------------------|--------|-----------| | New York | Sun-2 | Same as Host | 1.7 | 87-06-15 | | University | (under Sun UNIX | | | | | NYU Ada/Ed-C, | 4.2, Release 2) | | | | | Version 1.7 | | | | | |----------------|------------------|------------------|--------|-----------| | New York | VAX-8600 | Same as Host | 1.7 | 87-07-16 | | University | (under VMS 4.2) | | | | | NYU Ada/Ed-C, | | | | | | Version 1.7 | | | | | |----------------|------------------|------------------|--------|-----------| | OASYS | ZAIAZ/XEL-32000 OASYS PC Platform | 1.7 | 87-09-03 | | OASYS PC/VADS | (under ZAIAZ System V, Release 2.0)| | | | Ada Compiler, | on the following self-targetting | | | | Version 1.7 | machines (i.e., Host and Target): | | | | | IBM PC/AT, COMPAQ DESKPRO, WYSE PC, | | | | | SPERRY IT, ZENITH Z-200, NCR PC, & | | | | | AT&T 6300 PLUS | | | |----------------|------------------|------------------|--------|-----------| | OASYS | InterPro 32 (NSC | Same as Host | 1.7 | 87-09-03 | | OASYS VADS | 32000) | | | | | Ada Compiler, |(under Intergraph System V, | | | | Version 1.7 | Release 2.0) | | | |----------------|------------------|------------------|--------|-----------| 4 ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | Host | Target | ACVC | Expiration| | Compiler | Machine and (OS) | Machine and (OS) | Version| Date | |================|==================|==================|========|===========| | Rational | Rational | Same as Host | 1.7 | 87-06-15 | | Machine, Inc. | Architecture | | | | | Rational | (R1000) | | | | | Environment | (under Rational | | | | | A_5_18_1 | Environment) | | | | |----------------|------------------|------------------|--------|-----------| | ROLM Mil-Spec | Data General | ROLM MSE14 | 1.7 | 87-07-16 | | Computers | Eclipse MV/10000 | (under ARTS/16, | | | | ROLM Ada/14, | (under AOS/VS, | Rev. 2.10) | | | | Rev. 1.01 | Rev. 6.03) | | | | |----------------|------------------|------------------|--------|-----------| | ROLM Mil-Spec | Data General | ROLM 1666B, and | 1.7 | 87-07-16 | | Computers | Eclipse MV/10000 | ROLM 1666C | | | | ROLM Ada/66, | (under AOS/VS, | (under RMX/RDOS, | | | | Rev. 1.01 | Rev. 6.03) | Rev. 3.42) | | | |----------------|------------------|------------------|--------|-----------| | ROLM Mil-Spec | Data General | ROLM Hawk/32 | 1.7 | 87-07-16 | | Computers | MV/8000 | (under ARTS/32, | | | | ROLM Ada/32, | (under AOS/VS, | Rev. 2.07 and | | | | Version 2.40 | Rev. 6.03) | AOS/VS, Rev.6.03)| | | | | | and | | | | | | Data General | | | | | | MV/8000 (under | | | | | | ARTS/32 Rev.2.07)| | | |----------------|------------------|------------------|--------|-----------| | Signal Computer|AdaMax (Optimum V)| Same as Host | 1.7 | 87-06-15 | | GmbH | (UNIX bsd 4.2) | | | | | VADS Vers. 5.1| | | | | |----------------|------------------|------------------|--------|-----------| | Softech | VAX 8600, | All Host | 1.6 | 87-01-16 | | AdaVAX |VAX-11/785, & /780| Configurations | | | | Version 2.47 | (VMS 4.1) | | | | | (same as Dept. | MicroVAX II | | | | | of the Army) | (MicroVMS 4.1M) | | | | |----------------|------------------|------------------|--------|-----------| | SofTech, Inc. | VAX-11/780 and | INTEL 8086 on | 1.6 | 87-02-13 | | Ada86, | VAX-11/785 | 86/30 board, and | | | | Version 1.21 | (under VMS 4.1) | INTEL 80186 on | | | | | | 186/03A board | | | |----------------|------------------|------------------|--------|-----------| | Symbolics, Inc.| Symbolics 3600 | Same as Host | 1.7 | 87-07-16 | | Symbolics_Ada,| (under Symbolics | | | | | Version 1.0 | Systems, Version | | | | | | 6.1) | | | | |----------------|------------------|------------------|--------|-----------| | SYSTEAM KG | Siemens 7.536 | Same as Host | 1.7 | 87-08-14 | | SYSTEAN-German| (under | | | | | MoD S1.5 | BS2000 V7.5) | | | | |----------------|------------------|------------------|--------|-----------| | Systeam/German | DEC VAX-11/750 | Same as Host | 1.6 | 87-02-23 | | MoD, VAX-11 | (VMS 4.1) | | | | |----------------|------------------|------------------|--------|-----------| 5 ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | Host | Target | ACVC | Expiration| | Compiler | Machine and (OS) | Machine and (OS) | Version| Date | |================|==================|==================|========|===========| | Systems | DEC VAX 8600 | MIL-STD-1750A | 1.7 | 87-06-15 | | Designers | (under VMS 4.2) | implemented on | | | | SD VAX x | | the Ferranti | | | | MIL-STD 1750A | | 1750A Computer | | | | Ada Plus, | | System 100A | | | | 2A.00 | | (bare machine) | | | |----------------|------------------|------------------|--------|-----------| | Systems | DEC VAX 8600 | MC68010, | 1.7 | 87-07-16 | | Designers | (under VMS 4.2) | implemented on | | | | SD VAX x | | the MVME 117-3FP | | | | Motorola | | board (bare | | | | M68000/10 | | machine) | | | | Ada-Plus, 2A.00 | | | | |----------------|------------------|------------------|--------|-----------| | TeleLOGIC | Sun 2-120 | Same as Host | 1.7 | 87-06-15 | | TeleSoft_Ada | (under Sun 2.0) | | | | | Version 3.7 | | | | | | Compiler | | | | | |----------------|------------------|------------------|--------|-----------| | TeleSoft, Inc. | Gould Concept/32 | Same as Host | 1.6 | 87-03-05 | | TeleSoft_Ada, | Model 9750 | | | | | Version 2.3C3 | (Gould MPX, V3.2)| | | | |----------------|------------------|------------------|--------|-----------| | TeleSoft, Inc. | Gould Concept/32 | Same as Host | 1.6 | 87-03-05 | | TeleSoft_Ada, | Model 6750 | | | | | Version 2.3C3 | (Gould MPX, V3.2)| | | | |----------------|------------------|------------------|--------|-----------| | TeleSoft, Inc. | Gould PowerNode | Same as Host | 1.6 | 87-03-04 | | TeleSoft_Ada, | Model 9050 | | | | | Version 2.3C3 | (Gould UTX, V1.1)| | | | |----------------|------------------|------------------|--------|-----------| | TeleSoft, Inc. | Gould PS3000 | Gould Concept/32 | 1.6 | 87-02-07 | | TeleSoft_Ada, | Workstation | Model 6750 | | | | Version 2.39 | (CSD UTX/3000) | (MPX 3.2) | | | |----------------|------------------|------------------|--------|-----------| | TeleSoft, Inc. | MicroVAX II | | 1.7 | 87-06-15 | | TeleGEN2, | Model 630-QY | Same as Host | | | | Version 3.7 | (MicroVMS 4.1) | | | | | | VAX-11/780 | | | | | | (under VMS 4.1) | | | | |----------------|------------------|------------------|--------|-----------| |Tolerant Systems| Tolerant Eternity| Same as Host | 1.7 | 87-06-15 | | Tolerant Ada | (under TX 5.0.12)| | | | | Development | | | | | | System (TX/VADS) | | | | | Part Number S-240, Version 1.0 | | | | |----------------|------------------|------------------|--------|-----------| 6 ***************************************************************************** Validated Ada Compilers--14 October 1986 ***************************************************************************** | Vendor & | Host | Target | ACVC | Expiration| | Compiler | Machine and (OS) | Machine and (OS) | Version| Date | |================|==================|==================|========|===========| | University of | VAX-11/780 | Same as Host | 1.8 | 87-09-19 | | York (UK) | (under | | | | | University of | JORVICS 1986) | | | | | York VAX/UNIX | | | | | | Ada Compiler, Release 2 | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | Vax-11/750 | Same as Host | 1.6 | 87-02-16 | | Verdix Ada | (VMS 4.1) | | | | | Development | | | | | | System [hereafter "VADS"] | | | | | (Vada-010-0101) | | | | | Version 5.2 | | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | Tektronix 6130 | Same as Host | 1.6 | 87-02-15 | | VADS Vers. 5.2| (UTek, | | | | | | Release 2.1.1) | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | Sequent Balance | Same as Host | 1.6 | 87-02-14 | | VADS Vers. 5.2| (Sequent DYNIX, | | | | | | Release 1.3.2) | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | CCI Power 6/32 | Same as Host | 1.6 | 87-02-15 | | VADS Vers. 5.2| (Power 6 UNIX, | | | | | | Release 1-11) | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | VAX-11/750 | Same as Host | 1.7 | 87-06-15 | | VADS | (UNIX 4.2 BSD) | | | | | (VAda-010-0101), | | | | | Version 6.0 | | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | Sun Microsystems | Same as Host | 1.7 | 87-06-15 | | VADS | Sun-2 | | | | | (VAda-010-1010), (Sun UNIX 4.2, | | | | | Version 6.0 | Release 2.2) | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | Sun Microsystems | Same as Host | 1.7 | 87-06-15 | | VADS | Sun-3 | | | | | (VAda-010-1313),(Sun UNIX 4.2, | | | | | Version 6.0 | Release 3.0 ALPHA) | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | Apollo DN460 | Same as Host | 1.7 | 87-06-15 | | VADS | Workstation | | | | | (Vada-010-1111)(under Domain/IX, | | | | | Version 6.0 | Release 9.2) | | | | |----------------|------------------|------------------|--------|-----------| | Verdix | Masscomp 5500 | Same as Host | 1.7 | 87-06-15 | | VADS |(under Masscomp | | | | | (Vada-010-1212) RTU, Release 3.0)| | | | | Version 6.0 | | | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | DEC VAX-11/750 | Microbar GPC68K | 1.7 | 87-09-03 | | VADS, 6.0 | (UNIX 4.2 BSD) | (bare machine) | | | |----------------|------------------|------------------|--------|-----------| | Verdix Corp. | DEC MicroVAX II | Microbar GPC68K | 1.7 | 87-09-03 | | VADS, 6.0 | (MicroVMS 4.2) | (bare machine) | | | |----------------|------------------|------------------|--------|-----------| 7 This list supersedes the previous list, dated 22 September 1986.