Development Log in February 2011.

  • GNAT Pro | GPS | GNATbench
    Feb 28th, 2011

    GB: Independent entries in Problems view
    When a tool inserts entries into the Problems view, those entries will remain until either removed by a subsequent successful run of the same tool, or removed manually. Each entry indicates the distinct tool that inserted it.

  • GNAT Pro | GPS | GNATbench
    Feb 28th, 2011

    Add support for Ada 2012 in the project editor
    Add support for the -gnat12 switch in the project editor.

  • GNAT Pro | GPS | GNATbench
    Feb 27th, 2011

    GPS: New menu Debug->Display
    As part of the optional debugger.py plug-in, a new menu is provided when debugging which allows displaying of a variable by its fully expanded name (e.g. Ada.Text_IO.Status_Error vs Status_Error) to make it easier in some cases to print contents of a variable.

  • GNAT Pro
    Feb 23rd, 2011

    Zero Cost Exceptions in VxWorks kernel-smp run-time
    The ZCX (Zero Cost Exception) implementation provides significant performance enhancements over the older SJLJ (Setjmp/Longjmp) exception handling implementation.

  • GNAT Pro
    Feb 23rd, 2011

    Zero Cost Exceptions in VxWorks kernel-smp run-time
    The ZCX (Zero Cost Exception) implementation provides significant performance enhancements over the older SJLJ (Setjmp/Longjmp) exception handling implementation.

  • Ada
    Feb 22nd, 2011

    Loop invariants discovery – AdaCore micro-seminar

    AdaCore Internal Seminar - April 18, 2011

    Laura Kovacs, a recognized researcher in the field of invariant generation using algebraic techniques, will present and discuss the topic "Finding Loop Invariants for Programs over Arrays Using a Theorem Prover"

    Presenter: Laura Kovacs - FWF Hertha Firnberg Research Fellow (Austrian Research Fund) at the Vienna University of Technology (TU Wien).

    AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to events@adacore.com.

  • GNAT Pro | GPS | GNATbench
    Feb 19th, 2011

    GPS: Add support to align on comas
    The align plug-in has been enhanced to align on comas.

  • GNAT Pro | GPS | GNATbench
    Feb 17th, 2011

    GPS: save CodePeer filter settings between sessions
    GPS saves CodePeer Summary Report's filter settings between sessions.

  • GNAT Pro | GPS | GNATbench
    Feb 17th, 2011

    GB: new menu entry for invoking gpr project editor
    A new menu entry is defined for invoking the gpr textual editor on a project's gpr file, without first requiring the corresponding node to be located in the GNAT Project Explorer. The new entry appears under the "GNAT Project" main menu in the contextual menus on project nodes in the GNAT Project Explorer and is titled "Edit GPR File". The command is available both for the root project node and for any dependent projects' nodes.

  • SPARK Pro
    Feb 16th, 2011

    Additional support for predefined libraries
    The SPARK library has been extended to provide support for the following additional units from the Ada LRM: Interfaces (Integer_n and Unsigned_n types only) Interfaces.C (Character-related constants and types only) Ada.Characters.Handling The library also adds a new package SPARK.Unsigned which offers an efficient binding to the various "Shift" and "Rotate" functions declared in Ada's Interfaces package. To support these packages, the action of the Examiner's -sparklib switch has been altered.

  • GNAT Pro | GPS | GNATbench
    Feb 16th, 2011

    GPS: Add support for sorting the process list
    The process list can now be sorted based on the pid or the command. This makes it easier to find a specific process in the list. At the same time, the process list now contains only the actual command for better readability.

  • GNAT Pro | GPS | GNATbench
    Feb 16th, 2011

    GPS: New menu Tools->Views->Messages
    This menu brings up the Messages window.

  • GNAT Pro | GPS | GNATbench
    Feb 16th, 2011

    GB: New Insert Unit Comment Box action
    A new command for inserting a comment box containing the unit name has been added. Subprograms, entries, packages, and protected objects are supported. This command works exactly like the "Insert Subprogram Box" command in GPS.

  • GNAT Pro
    Feb 15th, 2011

    GNAT.AWK interface is now Ada 2005 compatible
    Ada 2005 does not allow functions to return limited objects by reference (instead, it provides build-in-place semantics for limited functions). This was permitted in Ada 95 at the time GNAT.AWK was designed. The two functions Current_Session and Default_Session have been changed to return an access to Session_Type instead of a Session_Type, for compatibility with both Ada 95 and Ada 2005. This is a minor upward compatibility issue that is easily fixable by adding ".all" after the call to those functions.

  • GNAT Pro | GPS | GNATbench
    Feb 15th, 2011

    GPS: New plugin to prevent project edition
    A new plugin "prevent_project_edition.py", inactive by default, prevents graphical edition of projects from GPS. This is useful in contexts where the project files are hand-written and their formatting should be preserved.

  • GNAT Pro
    Feb 15th, 2011

    GNAT.AWK interface is now Ada 2005 compatible
    Ada 2005 does not allow functions to return limited objects by reference (instead, it provides build-in-place semantics for limited functions). This was permitted in Ada 95 at the time GNAT.AWK was designed. The two functions Current_Session and Default_Session have been changed to return an access to Session_Type instead of a Session_Type, for compatibility with both Ada 95 and Ada 2005. This is a minor upward compatibility issue that is easily fixable by adding ".all" after the call to those functions.

  • GNAT Pro
    Feb 9th, 2011

    gnatmake—subdirs= without -P
    When gnatmake is invoked with --subdirs=<dir>, but without -P <project>, instead of ignoring the switch --subdirs, an attempt is now made to create <dir> if it does not exist and to use it as if it had been specified with switch -D.

  • GNAT Pro
    Feb 9th, 2011

    gnatmake—subdirs= without -P
    When gnatmake is invoked with --subdirs=<dir>, but without -P <project>, instead of ignoring the switch --subdirs, an attempt is now made to create <dir> if it does not exist and to use it as if it had been specified with switch -D.

  • GNAT Pro | GPS | GNATbench
    Feb 3rd, 2011

    Improved indentation of Ada 2012 constructs
    Ada 2012 Expression functions and aspects are now better recognized and indented by the internal Ada parser.

  • GNAT Pro | Ada Compiler
    Feb 2nd, 2011

    Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof

    A presentation by Yannick Moy, Senior Engineer, AdaCore, at a recent talk at IRILL Days 2010. Video courtesy of IRILL (http://www.irill.org)

    More on Hi-Lite...