GPS — The GNAT Programming Studio is a cross-platform integrated development environment tailored to the GNAT toolchain. Geared primarily toward Ada and SPARK, it also supports C, C++, and Python, making it suitable for mixed-language projects. GPS provides deep code understanding with semantic navigation, cross-references, call and dependency graphs, smart completion, and project-wide search. Its project system is built around GNAT project files, enabling reproducible builds, multiple configurations, and straightforward control of compiler and linker options. Debugging is integrated via GDB, offering breakpoints, watchpoints, threaded debugging, and memory/register views. GPS includes version-control integration (such as Git and Subversion), task annotations, and build/console management. It is extensible through a Python-based API and plug-in system, allowing teams to automate workflows and add domain-specific tools. With support for static analysis and formal verification workflows in the GNAT/SPARK ecosystem and reliable operation on Windows, Linux, and macOS, GPS is well-suited to embedded, safety-critical, and general-purpose Ada development.
GPS - The GNAT Programming Studio is developed by Ada Core Technologies. The most popular versions of this product among our users are: 4.2, 4.3, 4.4, 5.0 and 6.0.
Comments