GNAT Pro 6.2.1 – February 17, 2009

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

GPS 4.3 – November 19, 2008

AdaCore is pleased to announce the immediate availability of GPS 4.3.0 for the following hosts:

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.

GPRbuild 1.2.0 – November 18, 2008

AdaCore is pleased to announce the immediate availability of GPRbuild 1.2.0 on the following host platforms (and cross builds on these platforms):

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

GNATbench 2.2.0 + 2.1.1 – October 2, 2008

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

GPRbuild 1.1.0 – April 24, 2008

AdaCore is pleased to announce the immediate availability of GPRbuild 1.1.0. This new release of GPRbuild offers full support for all major native and cross platforms supported by AdaCore (15 native configurations and 22 cross). It provides better support for projects that use a combination of languages (Ada, C, C++, Assembly, and others) and has enhanced its support of very large subsystems. New major features have also been added:

• Each subsystem can define which of its sources are visible to other subsystems. An error is reported when a dependency on a non-visible source of a different subsystem is detected.
• A new GPRbuild option limits source dependency to immediately “with”ed projects.

This new release has addressed all issues reported after the 6.1.1 GNAT Pro release.

We encourage all GNAT Pro users to upgrade to this new builder technology. As a reminder, using or upgrading GPRbuild does not require a change of compilers and therefore does not imply changing code generators. All the GNAT Pro compilers released over the last 5 years are in fact supported by GPRbuild.

GPRbuild 1.1.0 can be downloaded from the “Tools” folder in the “Download” section on GNAT Tracker. As always, for questions, or to inform us of issues that you encounter, please let us know through the GNAT Tracker report facility or by email to the usual report@adacore.com address.

GNATbench 2.1.0 – March 7, 2008

GNATbench 2.1.0 supports Eclipse 3.3, with version 4.0 of the C/C++ Development Tools (CDT), on the Linux (x86 and x86-64), Solaris (SPARC), and Windows platforms.

GNATbench 2.1.0 introduces the following features among others:

Project Management and Presentation

• - Independent Project Hierarchies
• - Cleaning Project Hierarchies
• - Fully Restorable Projects
• - Problems View Entries for GNAT Project Files

Language-Sensitive Editor Enhancements

• - “Quick Fix” for Ada
• - Smart Space Key
• - Automatic Construct Closing
• - Smart Tab Key
• - Smart Enter Key
• - Text and Comment Lines Refilled Against Margin
• - Special Coloring for “Annotation Comments”
• - The “Show In” Contextual Menu Entry Supported
• - Improved Comment Block Selection
• - Standard Parenthesis Highlighting
• - Integration of Code Formatting Features
• - Recent Chosen Completions Displayed at the Top

Additional Wizards

• - A “New Ada Source Folder” Wizard
• - A “New Ada Source File” Wizard
• - Additonal “New Ada Project Wizard”

Builder Enhancements

• - Altered Ada Files Saved Automatically
• - Console View Visible Automatically
• - Persistent Scenario Variable Settings
• - Builder Command Key Bindings
• - Compiling Individual Files via the Ada Project Explorer
• - Toolchain Selection
• - Linker Messages In the Problems View

Source Code Navigation Enhancements

• - Enhanced Open Declaration / Open Body Actions
• - Next / Previous Subprogram and Entry Navigation

Miscellaneous Improvements

• - Ada Project Explorer Support for Double-Click Actions
• - New “Ada” Category for GNAT Import Wizard
• - Additional Icon Decorations in Ada Project Explorer

GNAT Pro 6.1.1 – February 15, 2008

GNAT Pro 6.1.1 is a major release introducing over 150 enhancements (as documented in the file features-61) including:

• - Additional GNAT Pro platforms incorporating the gcc 4.1 code generator (this code generator will now be included on most platforms)


• - Upgrade of the debugging engine, based on gdb 6.6


• - Improvement in robustness and efficiency for Ada 2005 features


• - Better real-time support on win32 platforms


• - Thread-safe profiling with gprof, on several platforms


• - Increased coverage analysis support for Ada in the gcov tool


• - New warnings to help programmers detect errors earlier


• - GNAT Pro companion tools such as gnatcheck, gnatpp and gnatmetric are being enhanced to support a wider variety of coding styles and coding standards.

The 6.1.1 release also includes an enhanced version of the GNAT Programming Studio (GPS) IDE. GPS 4.2.1 is compatible with GNAT Pro versions 3.16a1 up to 6.1.

GPS 4.2.0 – December 10, 2007

AdaCore is pleased to announce the immediate availability of GPS 4.2.0. New functions in GPS 4.2 include:

• - Graphical support for code coverage (gcov)
• - Improved documentation generation with faster, improved HTML output using CSS and javascript
• - Enhanced code completion, including support for the Object.Method syntax as provided in Ada 2005.
• - Full ability to manage files and directories from GPS
• - Source editor improvements - better tooltips, source navigation and indentation
• - Improved handling of dispatching calls and primitives, enabling better understanding (prior to run time) of which subprograms will be executed

New plug-ins, including:

• - Support for code verification through gnatcheck
• - Support for addr2line
• - Listing of unused entities (replaces gnatxref)
• - Display of dependency paths across files
• - Ability to cut/copy/paste in contextual menu
• - Recomputation of Ada cross references

GPS 4.2.0 is compatible with GNAT Pro versions 3.16a1 up to 6.1.

For more info, please click here

To view the archived webinar (including demo) featuring GPS 4.2.0, please click here.

GNAT Pro for .NET – October 8, 2007

AdaCore is pleased to announce the availability of GNAT Pro on the .NET platform. GNAT Pro for .NET includes:

• - Interface to .NET class library
• - Efficient mapping of Ada features (such as tasks, exceptions, tagged types, interfaces) to constructs of the .NET CLI
• - Support for Microsoft’s CLR debugger and Microsoft Visual Studio
• - CIL (Common Intermediate Language) to Ada binder, easing the integration of external code with an Ada application

For more information on GNAT Pro for the .NET platform, please visit: http://www.adacore.com/home/gnatpro/add-on_technologies/dotnet As part of the 6.0.2 release, AdaCore is pleased to announce that support for the Windows OS has been extended to the new Windows Vista platform. GNAT Pro now supports all Windows platforms from Windows 2000 through to Vista.

GNATbench 2.0 – May 15, 2007

AdaCore is pleased to announce GNATbench 2.0, a major enhancement to the GNAT Pro Eclipse-based plug-in. GNATbench 2.0 supports:

• - Standard Eclipse 3.2 (Windows and Linux)
• - Wind River’s Workbench 2.5 (Windows)
• - Workbench 2.6 (Windows and Linux)

For both standard Eclipse and Wind River Workbench, GNATbench 2.0 includes the following shared features:

• - Support for Ada 2005, Ada 95, and Ada 83
• - Full Ada perspective
• - Automatic code completion after the dot in unit names or record object names, for subprogram formal parameters, and simple identifiers
• - Wizards for creating new Ada projects
• - Enhanced Ada Project Explorer
• - Increased responsiveness and reliability
• - New GNAT Project File editor with syntax highlighting
• - Enhanced Ada editor, allowing color selection for numeric literals
• - Automatic generation of package bodies from package declarations
• - Changes to GNAT project files are effective immediately without having to restart
• - New extended and enhanced User’s Guide, including tutorials for building systems from initial project creation through executable generation

GNATbench 2.0 for Wind River Workbench features all the above, plus:

• Workbench 2.6 support, in addition to Workbench 2.5
• - Enhanced Import wizard for creation of new projects from existing GNAT projects, including configuration as Downloadable Kernel Module (DKM) and Real Time Process (RTP) projects
• - Debugging Ada tasks is supported
• - Wizards for creating new projects warn if an unsupported build spec is selected
• - Visible views added to the Application Development perspective, and view shortcuts for the views that are not automatically visible

GNATbench 2.0 for standard Eclipse features all the shared capabilities plus the following:

• - Eclipse 3.2 support
• - Support for both native- and cross-compilation
• - Builder Console display
• - Project “Clean”, “Build”, and “Rebuild” commands
• - Automatic syntax and semantic analysis on Ada files
• - User-defined builder commands
• - New toolbar for Ada element creation (new projects, new files)
• - Automatic refreshes after a command so tool results can be seen (executables, automatically generated package bodies, etc.)