Tag Archives: SPARK Pro

AdaCore GNAT Programming Studio 5.0

AdaCore launched version five of their GNAT Programming Studio (GPS) graphical Integrated Development Environment (IDE). GPS 5.0 features improved support for C and C++, more powerful source editing, simpler use, and integration of GNATstack (a static analysis tool that determines a program’s maximum stack requirements). GPS is distributed with full source code. GPS v5.0 is now available as part of the GNAT Pro Ada Development Environment and the SPARK Pro and CodePeer Pro toolsets. Pricing for GNAT Pro subscriptions starts at $15,000.

Continue reading