GNAT Studio 26.0

GNAT Studio is AdaCore’s cross-platform integrated development environment for Ada and SPARK, designed to help teams build reliable, high-integrity, and embedded software. Formerly known as GNAT Programming Studio (GPS), it combines a project-aware editor with powerful build, debug, and analysis capabilities.

Key features include semantic code completion, intelligent navigation (go to definition, find references, and cross-referencing), rename refactoring, code folding, and inline diagnostics. GNAT Studio manages GNAT project files and integrates with gprbuild for consistent, reproducible builds across native and cross toolchains. Its integrated debugger, based on GDB, provides breakpoints, watches, call stacks, memory and register views, and support for remote and cross-target debugging.

The environment integrates seamlessly with AdaCore’s verification tools, including SPARK Pro for formal proof, CodePeer for static analysis, and GNATcoverage and GNATtest for coverage and unit testing. It also offers version control integration (such as Git) and a Python-based plug-in system to tailor workflows and automate routine tasks. While optimized for Ada and SPARK, GNAT Studio supports mixed-language projects, including C and C++. It runs on Windows, Linux, and macOS, and is available as part of AdaCore’s GNAT Pro product line and the GNAT Community distribution.

GNAT Studio is developed by AdaCore. The most popular versions of this product among our users are: 23.0, 24.0, 25.0 and 26.0. The name of the program executable file is gnatstudio.exe.