Overview

GNAT Pro for C/C++ provides a versatile and dependable development environment for safety-critical applications. As a fully supported commercial product from AdaCore, it comes with guarantees such as front-line support from the product developers themselves. GNAT Pro for C/C++ is built using AdaCore’s fully reproducible build system, ensuring complete control over every aspect of the build. This product supports C89 through C18 and C++98 through C++20, and is available for native environments (Linux, Windows) and various cross platforms including VxWorks, LynxOS-178, embedded Linux, and bare-metal.

Features

• Complete Toolchain: Includes a compiler, build and package manager, and debugger for x86_64 Linux and Linux cross targets.
• Security: Built using AdaCore’s fully reproducible build system, providing full access to security-related documents and Software Bill of Materials.
• Sustained Branch Service: Offers support for critical updates and known-problem reports for as long as needed.
• Platform Support: Supports popular embedded processors and RTOSs, with a growing list of supported platforms.
• Expert Support: Provides best-in-class support from the engineers who develop and maintain the product.
• Interoperability: Integrates Rust code into existing Ada, C, and C++ projects with seamless hybrid-language project builds.
• Certification Support: Aims to support safety-certification needs such as avionics (DO-178), rail (EN-50128), and space (ECSS-E-ST-40C and ECSS-Q-ST-80C).

Benefits

• Stability: Ensures a stable and tested toolchain ready for industrial use.
• Security: Provides confidence that the software hasn’t been tampered with and can be traced securely back to its sources.
• Long-term Support: Guarantees product stability with controlled evolution to correct problems.
• Flexibility: Supports a wide range of platforms and configurations, making it adaptable to various project requirements.
• Expert Assistance: Offers direct access to expert consulting and support services.
• Certification Ready: Simplifies development and verification for certification in safety-critical industries.