Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map

SPARK Pro 9.0 – March 22, 2010

AdaCore is pleased to announce the availability of SPARK Pro 9 available on the following platforms:

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

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.

The new features will be presented in a webinar on April 27. For more information and to register, please visit:

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

GNATbench 2.4.0 – March 3, 2010

The latest version of GNATbench, 2.4.0, is available as part of the recent GNAT Pro 6.3.1 release. GNATbench 2.4.0 is supported on Eclipse 3.5 and WindRiver Workbench 3.0 / 3.1, hosted Windows, Linux, and Solaris. This is a major enhancement, features include:

  • 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

GNAT Pro 6.3.1 – February 17, 2010

GNAT Pro 6.3.1 is a major release comprising 18 native and 35 cross platforms qualified for hundreds of 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

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++

    GPRbuild 1.4.0 – December 1, 2009

    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.

    • GPS 4.4 – October 15, 2009

    AdaCore is pleased to announce the immediate availability of GPS 4.4.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-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/

    GNATbench 2.3 – April 15, 2009

    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.

    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:

    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

« Newer entries :: Older entries »