GNAT Pro

Assurance

Enterprise

Developer

Community

Compare the different versions of our family of GNAT development environments and learn how you can get started using Ada today.

Designed for certification and long-lived projects.

Learn More »

Our flagship GNAT Pro product for industrial grade development.

Learn More »

For teams, interested in moving to Ada.

Learn More »

For the free software developer, hobbyists, and students.

Download »

License

For commercial software
For commercial software
For commercial software
For open source GPL software

Services

On-line support

Private
Private
Public

Expert Support

Premium (2 day response)
Premium (2 day response)
Standard (5 day response)

Version Support

Multiple versions
Multiple versions
Latest version only

Continuous patched releases

check
check
check

Confidential support interface

check
check

Yearly official releases

check
check

Sustained branches

check

Certification services

Available as add-on

Languages

Ada 2012

check
check
check
check

SPARK

check
check
check
check

Ada 2005

check
check

Ada 95

check
check

Ada 83

check
check

C++

Available as add-on
Available as add-on
check

C

Available as add-on
Available as add-on
check
check

Platforms

Native Configurations

Windows (x86)

check
check
check
check

Linux (x86)

check
check
check
check

macOS (x86)

check
check
check
check

Solaris (x86, SPARC)

check
check

AIX (PowerPC)

check
Cross Configurations

VxWorks 5 (PowerPC)

check

VxWorks 6 (x86, PowerPC, ARM)

check
check

VxWorks 7 (x86, PowerPC, ARM)

check
check

VxWorks 653 (PowerPC)

check
check

Lynx 178 (x86, PowerPC)

check
check

PikeOS (x86, PowerPC, ARM)

check
check

iOS (ARM)

check
check

Android (ARM)

check
check

Bare Metal (PowerPC, LEON)

check
check

Embedded Linux (PowerPC)

check
check

Bare Metal (ARM)

check
check
check
check

Embedded Linux (ARM)

check
check
check
check

Tools

check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check
check

GNATelim info

check
check
check
check

GNATmetric info

check
check
check
check

GNATmem info

check
check
check
check

GNATpp info

check
check
check
check

GNATdoc info

check
check
check
check

GNATprep info

check
check
check
check
check
check
check
check
check
check
Available as add-on
Available as add-on
Available as add-on
Available as add-on