Designed for the Ada Professional

GNAT Pro is a robust and flexible Ada development environment. It includes professional grade tools, unmatched product support and expert Ada advice designed to allow development teams to take full advantage of the benefits Ada offers, and ensure a smooth, cost-effective development process.

Comprehensive Ada Toolsuite

GNAT Pro is a robust and flexible Ada development environment. It comprises a full Ada compiler, an Integrated Development Environment, a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings. Learn More »

Mixed Language Development

GNAT Pro offers a range of mixed language solutions that allow programmers to write code in Ada, C, and C++ within a single development environment. It also provides a set of bindings that let programmers seamlessly interface between Ada and other languages. Learn More »

Native
Development

Offering an unprecedented level of portability, GNAT Pro supports the widest range of native platforms of any Ada development technology. Its IDE is available on all configurations (in either native or remote mode) and streamlines the switch between platforms and languages through its common user interface. Learn More »

Embedded
Development

GNAT Pro is ideal for developers seeking reliability, performance, and portability in real-time embedded environments. With the GNAT Programming Studio (GPS), switching from native to cross development is a single-click operation thus allowing for a more streamlined and efficient process. Learn More »

The GNAT Pro Difference: Frontline Support

Expertise

The world’s largest team of Ada experts at your fingertips. Learn More »

GNAT Tracker

Our powerful, secure, customer web server, brings you timely online support. Learn More »

Knowledge Center

Webinars    

  • Introducing GPS 5.1

    November 15, 2011

    The GNAT Pro InSight webinar series continues with a presentation and demo of the new features introduced in GPS 5.1.

    This major release sees many enhancements to our IDE technology including extended feature support for C and C++, improved integration with CodePeer (automated code reviewer and validator), more powerful source editing, and enhanced GUI performance.

    This webinar will go through the new features and demo a selection. As always, there will be a Q&A session at the end.
  • Wind River, Ada Core and Verocel will show the webcast audience how use of COTS technology and best practices in software certification can improve time to market and reduce risk for safety-critical software developers.

    AdaCore will introduce tools and techniques for easing the development and certification costs for applications to be deployed within an IMA architecture. Options for certification approaches will be discussed along with methods for automating these approaches. Full software development environments will be discussed with tight integration of tools and toolsets when they are applicable to the development or safety certification effort for a particular safety standard.

Developer Gems    

  • Gem #124 : Scripting GPS for Static Analysis

    This Gem shows how to use the scripting capabilities of the GNAT Programming Studio IDE to perform some simple static analysis.

  • Gem #115: Lego Mindstorms Ada Environment — Part 2

    This series of Gems explores the GNAT Ada programming environment for the Lego Mindstorms robotics kit. The series examines the high- and low-level interfaces to the hardware, the language subset supported by the underlying run-time library, and how to use the environment effectively. We’ll examine other topics as well. This Gem introduces the basic steps of the Mindstorms hardware initialization and shutdown.

Live Docs

  • GNAT User’s Guide for native platforms »

    This guide describes the use of GNAT, a compiler and software development toolset for the full Ada programming language.

    It describes the features of the compiler and tools, and details how to use them to build Ada 95 applications.

  • GNAT Reference Manual »

    This manual contains useful information in writing programs using the GNAT compiler. It includes information on implementation dependent characteristics of GNAT, including all the information required by Annex M of the standard.

Technical Papers

Development Log

Press Releases

In the Press

Events