ACAA Header
 

Ada Conformity Processors Lists

Ada 95 Conforming Processors List (CPL)

The Ada Conforming Processors List includes all Ada 95 implementations that have been formally certified using the ACATS. (Note: Ada 2005 processors can be formally certified, and would appear in this listing, but as of this writing none have been certified.)

Browse the Ada 95 Certified Processors List

Browse the list of Ada 95 compilers, sorting and selecting on vendor, date, or target. See below for printable reports.

Standard Ada 95 CPL Report

The standard version of the Ada 95 Certified Processors List, which includes all non-redundant listings. This printable report includes vendor name, compiler name, certificate number, and host and target information.

Current Ada 95 CPL Report

This version of the Ada 95 Certified Processors List includes only current, unexpired listings. This printable report includes vendor name, compiler name, certificate number, and host and target information.

Complete Ada 95 CPL Report

This version of the Ada 95 Certified Processors List includes all listings, including redundant and superceded listings. This printable report includes vendor name, compiler name, certificate number, and host and target information.

Ada 83 Conforming Processors List (CPL)

Ada 83 CPL Report

(Formerly the Ada Validated Compilers Database) The Ada 83 Conforming Processors List, listing all ACVC 1.11 validated compilers. Includes vendor name, compiler name, certificate number, and host and target information.
NOTE: In accordance with the Ada Validation Procedures (Version 5.0), certificates are 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 ACAA 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.