Comments on: GNAT Programming Studio

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Wed, 28 Apr 2010 00:01:39 +0000

[...] SPARK toolset support provided in the GNATbench and GNAT Programming Studio (GPS) Interactive Development Environments [...]

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Tue, 13 Apr 2010 07:17:31 +0000

[...] software. It combines Praxis’ renowned SPARK language and verification tools, with the GNAT Programming Studio (GPS) and GNATbench development environments from AdaCore. Frontline support is provided through [...]

By: Libre -

Libre - — Tue, 26 Jan 2010 07:57:36 +0000

[...] – AdaCore, a leading supplier of Ada tools and support services, today announced the release of GNAT Programming Studio (GPS) 4.4. This new version of AdaCore’s graphical Ada-oriented Integrated Development [...]

By: AdaCore - The GNAT Pro Company

AdaCore - The GNAT Pro Company — Mon, 14 Sep 2009 10:29:55 +0000

[...] Pro InSight series, we will be demonstrating several new features present in recent versions of GPS using our latest upcoming release, GPS 4.4.0. Among the long list of new features and improvements [...]