This is a major release including many new features:

• New information-flow verification for safety and security policies, such as Bell-LaPadula, based on integrity labeling of own variables.
• New SPARK2005 language profile is now available. At present, basic Ada2005 features supported include ‘Mod, ‘Machine_Rounding, new reserved words, and the static semantics of “overriding”.
• New ZombieScope tool that detects dead statements, branches and paths in SPARK code, complementing the capabilities of the Simplifier and POGS.
• Cross Referencing annotations in GPS.
• Function return annotations are now treated more like procedure post-conditions, being substituted into the VC hypotheses of the caller thus dramatically improving the effectiveness of the theorem prover.
• A new output format for POGS designed to be both easier to read and easier to search automatically. It also reflects the results of the new ZombieScope tool.
• Case checking. New Examiner switch that insists on consistent casing within annotations.

• Building enhancements
• Specify multiple toolchains per project
• Building without the ‘make’ utility
• Support for the make package
• Interruptible commands
• Better toolchain environment integration
• Navigation enhancements
• Navigation between specs and bodies without compilation
• Navigation between Ada specs & C/C++ bodies
• Jump from GNAT project explorer entities
• New commands and tool integrations
• Metrics
• Pretty printing
• Style checking
• Better project management
• Single project creation wizard
• Project conversion wizard
• Improved ease of use
• SPARK “notes” messages categorized in problems view
• Improved contextual menus
• Advanced references search

New GNAT Pro 6.3 features include:

• Support for 64-bit code generation on Windows
• Support for Windows 7
• Improvements to a number of tools, including:
• Pretty printer (gnatpp)
• Coding standard verifier (GNATcheck)
• Stack size analyzer (GNATstack)
• Other tool enhancements:
• Unused dispatching subprogram elimination (gnatelim)
• More flexible project handling
• More efficient gnatmake and gprbuild
• C and C++ binding generation
• Compiler and debugger enhancements, including:
• Many additional warnings
• More flexible enabling/disabling of warnings
• Faster Unbounded_String implementation
• Removal of redundant run-time checks
• Support for Ada 2012 conditional expressions
• Code generation (speed and size) improvements
• More compact debugging information
• Improved interfacing with C++
]]> http://www.adacore.com/2010/02/17/gnat-pro-6-3-1/feed/ 0 http://www.adacore.com/2009/12/01/gprbuild-140/ http://www.adacore.com/2009/12/01/gprbuild-140/#comments Tue, 01 Dec 2009 08:53:09 +0000 AdaCore http://www2.adacore.com/?p=3237 AdaCore is pleased to announce the immediate availability of GPRbuild 1.4.0 containing many improvements:
• Enforcement of the use of a Standalone Library through its interface;
• Ability to detect when the spec & body of the same unit are in different projects;
• Completion of the recent work on option –no-indirect-imports that provides better encapsulation and organization of large multi-subsystem applications;
• Support for recent configurations (e.g. Apple Snow leopard, LynxOS 5, ELinOS);
• Major reduction of the # of necessary system calls significantly improving performances for big projects, especially when remote disks are used.
]]> http://www.adacore.com/2009/12/01/gprbuild-140/feed/ 0 http://www.adacore.com/2009/10/15/gps-44/ http://www.adacore.com/2009/10/15/gps-44/#comments Thu, 15 Oct 2009 08:37:02 +0000 AdaCore http://www2.adacore.com/?p=3156
ia64-sgi_linux
ia64-hp_linux
sparc-solaris
sparc64-solaris
x86-linux
x86-solaris
x86-windows (2003, XP, Vista)
x86_64-darwin
x86_64-linux

New functions in GPS 4.4 include:

Improved user interface, memory usage and speed
Entity View
Enhanced documentation generation to support both API documentation and source code browsing
Hyperlinks in source editor for quick source and web navigation
Support for CodePeer and Couverture toolsets
Improved SPARK support, in particular source navigation in annotations
Tip of the Day
Support for filters in the locations view
Unified visual diff within a source editor
Support for interleaved Ada/Expanded Ada (.dg files) in source editor
Outline View updated in real-time and displays entities hierarchically
New source navigation menus to display a type hierarchy and jump to the first subtype of an Ada type
New plug-ins, including:

Set formatting preferences automatically from gnatpp project switches
Automatically reformat on save using gnatpp
Ability to create new files easily

A selection will also be demoed in the upcoming webinar featuring GPS 4.4. For more information and to enroll, please visit:
http://www.adacore.com/home/gnatpro/webinars/ ]]> http://www.adacore.com/2009/10/15/gps-44/feed/ 0 http://www.adacore.com/2009/04/15/gnatbench-23/ http://www.adacore.com/2009/04/15/gnatbench-23/#comments Wed, 15 Apr 2009 10:34:49 +0000 AdaCore http://www2.adacore.com/?p=3127 [...]]]> AdaCore is pleased to announce GNATbench 2.3, a major enhancement to the GNAT Pro plug-in for Eclipse 3.4 (Ganymede) and Wind River Workbench 3.0 and 3.1. GNATbench 2.3 is supported on Windows, Linux, and Solaris.

Major enhancements include:

* Preference Control for “Quick Fix” for Ada

It is now possible to deactivate Quick Fix using the Ada -> Tools preference panel.

* Eclipse “Feature” Deployment

GNATbench is now organized as Eclipse “features”, facilitating the management of an Eclipse configuration.

* Builder Enhancements

When the Automatic Build option is enabled, the builder now only performs semantic analysis on the saved file, rather than performing a full build with linking. This approach will better serve large projects in which a full build could take a relatively long time. In addition, a manual build will work correctly even with automatic building enabled.

]]> http://www.adacore.com/2009/04/15/gnatbench-23/feed/ 0 http://www.adacore.com/2009/02/17/gnat-pro-621/ http://www.adacore.com/2009/02/17/gnat-pro-621/#comments Tue, 17 Feb 2009 10:57:19 +0000 AdaCore http://www2.adacore.com/?p=2595 GNAT Pro 6.2.1 is a major release comprising 18 native and 28 cross platforms qualified for 146 different environments (including variations of Ada runtimes as well as host and target OS versions). For a full list of supported platforms, please visit:

www.adacore.com/home/gnatpro/supported_platforms

The core compiler back-end technology is now based on a gcc 4.3, while the core debugging engine is based on gdb 6.8. These upgrades allow significant performance gains as well as porting to new architectures.

New supported platforms in 6.2.1 include:

x86_64-darwin
jvm-windows
x86-elinos-linux
avr-elf-windows
leon-elf-windows

An internal AdaCore ACATS certificate is now included for relevant platforms. It is a first step in providing more reviewable qualification evidence as part of the GNAT Pro release. Note that ACATS testing represents only one component of our overall qualification procedures.

Main native platforms now offer 2 additional components that were beta-tested last year:

Ada-Java Interfacing Suite (AJIS)
GNAT Component Collection (GNATcoll)

This new release incorporates fixes for the all issues that have been reported to AdaCore as documented in the ‘Known Problems’ files of the GNAT Tracker Documentation section: Known problems in GNAT Pro 6.1.2.

In the same section, you can also find ‘Features’ entries describing all the new features and enhancements. Major ones include:

• Improved support for safety-critical applications
- Traceability to source code
- Coverage analysis
• Ability to associate pre- and post-conditions with subprograms
• Ability to selectively enable or disable groups of assertions
• Additional rules in gnatcheck for coding standard verification
• More efficient implementation of stack checks, overflow checks, and validity checks
• Additional attributes and pragmas to ease generic programming
• Communication-related improvements
- More efficient string streaming
- Better support for serial communication and socket handling
• Additional compilation warnings on suspected errors
- Missing overriding indicators
- Assumption that string lower bound is 1.

The 6.2.1 release also includes an enhanced version of the GNAT Programming Studio (GPS) IDE. GPS 4.3.x is compatible with GNAT Pro versions 3.16a1 up to 6.2

]]> http://www.adacore.com/2009/02/17/gnat-pro-621/feed/ 0 http://www.adacore.com/2008/11/19/gps-43/ http://www.adacore.com/2008/11/19/gps-43/#comments Wed, 19 Nov 2008 09:27:01 +0000 AdaCore http://www2.adacore.com/?p=2484
ia64-sgi_linux
ia64-hp_linux
sparc-solaris
sparc64-solaris
x86-linux
x86-solaris
x86-windows (2003, XP, Vista)
x86_64-linux

New functions in GPS 4.3 include:
- Easy configurability for multiple toolchains:
- Using a recent GNAT toolchain for purposes such as source navigation, coding standard enforcement, metrics computation
- Using an older (baselined) compiler for code generation
– A redesigned and fully customizable builder module
– Improved documentation generator (support for predefined and user defined tags)
– Enhanced support for gcov (code coverage), gnatcheck (coding standard checker) and compiler switches
– Code completion with new Dynamic Mode
– Improved automatic code fixing

New plug-ins, including:
– OS Shell
– SPARK plug-in enhanced
– Show expanded code
– List all variables used by a subprogram
– Create missing project’s directories
- Initial Support for GIT version control system



All new features are described in the release note section on GNAT Tracker. A selection will also be demoed in the upcoming webinar featuring GPS 4.3. For more information and to enroll, please visit:

http://www.adacore.com/home/gnatpro/webinars/

GPS 4.3.0 is compatible with GNAT Pro versions 3.16a1 up to 6.2.

]]> http://www.adacore.com/2008/11/19/gps-43/feed/ 0 http://www.adacore.com/2008/11/18/gprbuild-120/ http://www.adacore.com/2008/11/18/gprbuild-120/#comments Tue, 18 Nov 2008 09:32:39 +0000 AdaCore http://www2.adacore.com/?p=2485

alpha-tru64
ia64-hp_linux
ia64-hpux
ia64-openvms
ia64-sgi_linux
mips-irix
pa-hpux
ppc-aix
sparc-solaris
sparc64-solaris
x86_64-linux
x86-linux
x86-lynx
x86-solaris
x86-windows

that introduces the following new features:


– Improved efficiency:
– Faster computation of recompilation needs for very large projects
- Fewer compilation artifacts generated (switch file only generated when -s is on)
– New attributes to support languages/compilers not producing objects, or not requiring a linking phase
- Improved compatibility with gnatmake
– Better support of the –subdirs option in externally built projects
]]> http://www.adacore.com/2008/11/18/gprbuild-120/feed/ 0 http://www.adacore.com/2008/10/02/gnatbench-220-211/ http://www.adacore.com/2008/10/02/gnatbench-220-211/#comments Thu, 02 Oct 2008 08:32:42 +0000 AdaCore http://www2.adacore.com/?p=2383 Announcing the availability of new versions of GNATbench

AdaCore is pleased to announce GNATbench 2.2.0 for Eclipse and GNATbench 2.1.1 for Wind River’s Workbench.

The latest version of the GNAT Pro Eclipse-based plug-in is available for the following hosts:

x86-windows
sparc-solaris
x86-linux
x86_64-linux

Version 2.2.0 of GNATbench for Eclipse now supports Eclipse 3.4, with version 5.0.x of the C/C++ Development Tools (CDT), on the Linux (x86 and x86-64), Solaris (SPARC), and Windows platforms.

New features include:

- New GNAT Project explorer
- Separation between public and private API
- Better handling of scenario variables
- Better handling of import wizard errors

Version 2.1.1 of GNATbench for Workbench now supports Workbench 3.0 and is available on the following platforms:

x86-windows
sparc-solaris
x86-linux

and introduces the following features and enhancements:

- Improved project management and presentation
- An enhanced language-sensitive editor
- Additional wizards
- An improved builder
- Source code navigation enhancements
]]> http://www.adacore.com/2008/10/02/gnatbench-220-211/feed/ 0