Compilers
Several companies offer compilers for sale, for various Host/Target combinations:
| Hosts: | Targets. Same as the hosts, plus: |
|---|---|
| SPARC/Solaris, HP9000/HP-UX, RS6000/AIX, IBM390/MVS, Intelx86/Win-NT/9X, SGI/IRIX, Concurrent/PowerMAX, Intelx86/Linux, Intelx86/OS/2, PowerMAC/Tenon, VAX/VMS, Alpha/Open-VMS, Intelx86/DOS, Alpha/DEC-Unix, Siemens-Nixdorf RM200/SINIX | Java machine, .Net
PowerPC/VxWorks, PowerPC/Raven, Intelx86/PharLapETS, PowerPC/Integrity, HP7xx/HP-RT, MIPS/VxWorks, RAD6000/VxWorks, 68K/VxWorks, X86/VxWorks, ADI-21020/Bare, i960/HAOS, PowerPC/LynxOS, ADI-SHARC/Virtuoso, IBM390/CICS, Nighthawk 6800, ARM, AVR |
There are also compilers that generate Ansi C code, thus making Ada available on any system that provides a C compiler.
Vendors:
- ACT (free Gnat compiler, with paying commercial support available)
- Aonix (free evaluation version)
- DDC International
- Green Hills Software
- Irvine Compiler
- OC-Systems
- Rational
- RR Software
- Sofcheck (spinoff from Avercom, formerly Averstar, formerly Intermetrics)
- TLD Systems
- XGC
In addition, the following companies provide compilers for their own hardware only:
- Analog Devices (for the SHARC)
- Concurrent Computer Corporation (Maxada)
- Hewlett-Packard
- IBM
- Silicon Graphics Inc.
Other tools
Many companies offer tools related to Ada. Here are some examples (this list is certainly incomplete...)
- Ainslie Software (AdaJNI)
- Advanced Technology Center (AXI, Ada-UIM/X, UIM/Ada)
- Black and White software (UIM/Ada)
- DCS (AdaSTAT)
- GrammaTech (Ada-Assured)
- Excel
Software (WinA&D, Wintranslator)
- Integrated Computer Solutions (ICS Ada Xcessories)
- I-Logix (Rhapsody-Ada)
- IPL (AdaTest)
- McCabe and Associates (McCabe QA/Test/Reengineer/2000)
- Objective Interface Systems (ORBExpress/Ada)
- Pragsoft (UML Studio, UML -> Ada)
- Praxis Critical Systems (SPARK)
- PolySpace Technologies (Verifier)
- Raincode (Raincode Ada)
- Scientific Toolworks (Understand for Ada), distributed in Europe by Emenda
- Stratégies (HERAGRAPH)
- Testwell (TBGen, TCMon)
- TopGraph'X (XinAda, ORBAda)
- Vector Software (AdaCAST)