1. AdaCore GNAT Pro 26 Roadmap¶

This roadmap represents the current stage of AdaCore plans for its technology. It is not binding, and can change without notice. Products marks as “Beta” can be made available to customers supported on the corresponding products by contacting AdaCore support (https://www.adacore.com/support). Customers interested in trying out capabilities that they don’t have access to yet, or who are interested in discussing a more detailed status update can contact info@adacore.com

1.1. Embedded and Real-Time OS Support¶

1.1.1. Bare-metal runtimes for Xilinx ZynqMP ARM Cortex-R5¶

GNAT Pro will support bare-metal runtimes (light, light-tasking, and embedded) for the Xilinx ZynqMP ARM Cortex-R5 processor.

1.1.2. Cross compiler for Arm 64 LynxOS-178¶

GNAT Pro will support a cross-compiler hosted on Linux targeting Arm 64 LynxOS-178 MfA 2025.08.

1.1.3. Embedded x86_64 Linux toolchain hosted on Linux¶

GNAT Pro will support a cross-compiler hosted on x86_64 Linux targeting embedded x86_64 Linux.

1.1.4. GNATColl Support for VxWorks 7¶

GNATcoll is a library of Ada capabilities. It will be ported to VxWorks 7 on all supported architectures.

This feature will be made available as beta, not intended for production.

1.1.5. Improve mixed Ada/C++ support for bare-metal Ada runtimes¶

Bare-metal Ada runtimes will support the execution of C++ global object initialization and destruction.

1.1.6. VxWorks 7 Ada Bindings¶

This release will include an Ada API that allows access directly to the VxWorks 7 C APIs.

This feature will be made available as beta, not intended for production.

1.2. GCC Compiler¶

1.2.1. Migration to GCC 14¶

The GNAT Pro Ada, C and C++ compilers will migrate to GCC 14. See the GCC 14 changes for information on changes.

1.3. LLVM Compiler¶

1.3.1. Better debug information in GNAT LLVM¶

The LLVM back-end of the GNAT Pro Ada compiler will emit better debug information to improve the debugging experience with GNAT LLVM.

1.3.2. Light runtimes for native GNAT LLVM¶

Native GNAT Pro will include the light runtimes for use with the LLVM back-end.

1.3.3. Upgrade to LLVM 19¶

The LLVM back-end of GNAT Pro will migrate to LLVM 19.

1.4. IDE¶

1.4.1. DAP integration in GNAT Studio¶

GNAT Studio will use DAP by default when the user’s GDB supports DAP.

1.4.2. Improved SPARK integration in VS Code¶

VS Code will offer improved support for handling SPARK options and output from SPARK.

1.4.3. Improved refactoring and code generation¶

GNAT Studio and VS Code will offer enhanced refactoring, including subprogram body creation, expression extraction, and entity removal. Code generation will use GNATformat for better and more consistent automatic formatting.

1.4.4. Improved support for Alire¶

VS Code will offer tighter integration with Ada projects that use Alire.

1.4.5. Improved support for GNAT SAS¶

GNAT Studio and VS Code will offer improved support for GNAT SAS, including display of SARIF reports, better rule and option configuration, and revamped menus in GNAT Studio.