Development Log in April 2009.

  • GNAT Pro
    Apr 30th, 2009

    Support for Machine_Attribute arguments of any type
    The compiler now supports Machine_Attribute pragma arguments of any type, not only strings.

  • GNAT Pro | GPS | GNATbench
    Apr 29th, 2009

    VCS actions supported from auxiliary buffers
    VCS actions can now be run from auxiliary buffers (e.g. diff windows).

  • Ada
    Apr 23rd, 2009

    SPARK Pro webinar available for viewing

    For those of you that couldn't join us for the webinar, it is now available for viewing here.

    For a list of upcoming webinars, please visit:
    www.adacore.com/home/products/gnatpro/webinars/

  • GNAT Pro
    Apr 21st, 2009

    Ravenscar Cert run-time library
    New Ravenscar implementation based on the VxWorks 653 Cert run-time library. Features nearly full Ada 95 exception handling, support for unconstrained function results, dynamic memory allocation, 64 bit arithmetic, stack overflow detection. Available in products for VxWorks 653 and VxWorks 6 Cert.

  • Ada
    Apr 20th, 2009

    SPARK Pro webinar - places still available

    The InSight webinar series continues tomorrow with a presentation by Rod Chapman on the AdaCore/Praxis new joint offering - SPARK Pro.

    SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes. This webinar will present the concepts behind the Correctness-by-Construction methodology and will include a demo of the SPARK Pro toolset.

    To register for this event, please click here.

  • GNAT Pro
    Apr 20th, 2009

    Processor Affinity for VxWorks SMP
    The SMP run-time libraries now support setting processor affinity using pragma Task_Info and package System.Task_Info.

  • GNAT Pro
    Apr 19th, 2009

    Full details on unsupported constructs
    When an error message is given for an unsupported construct using the configurable run-time feature, it is no longer necessary to use the -gnatf switch to get details on the missing entity involved. These messages are now given unconditionally.

  • GNAT Pro
    Apr 18th, 2009

    Warning on suspicious modulus values
    A warning is now given for cases of suspicious modulus values (e.g. a modulus value of 7 with a size of 7, where 2**7 is probably intended). This warning is on by default, but can be turned off using the -gnatw.M switch (WARNING=NOSUSPICIOUS_MODULUS option in VMS).

  • GNAT Pro | GPS | GNATbench
    Apr 16th, 2009

    New builder module macro “%TT”
    A new macro "%TT" is available in the Builder Module. This expands to the full path to a main file in the project tree. This is useful when using the Builder Module to drive tools which need the full path rather than the base name of main files.

  • PolyORB
    Apr 14th, 2009

    Performance of neutral and protocol layers
    The performance of the neutral and protocol layers has been improved significantly by guarding some costly and seldom useful debugging traces with appropriate configuration knobs, and by rewriting the management routines for some internal data structures to avoid repeated memory allocations and deallocations.

  • GNAT Pro | GPS | GNATbench
    Apr 10th, 2009

    Expanded code directly in the editors
    The contextual menu "Expanded code" on Ada sources allows displaying of the expanded code directly in the editor. Also, you can select to display the expanded code for the current subprogram only.

  • GNAT Pro | GPS | GNATbench
    Apr 10th, 2009

    Outline view updated in real-time
    The Outline View is now updated after each edition in the buffer: it is no longer required to save the buffer in order for the Outline View to reflect the changes in the file.

  • GNAT Pro
    Apr 8th, 2009

    ASIS: New test to detect null defaults
    A new function Is_Default_For_Null_Procedure is added to Asis.Extensions. This test may be helpful for detecting the reason standard ASIS queries Corresponding_Name_Definition and Corresponding_Calles_Entity return Nil_Element.

  • GNAT Pro
    Apr 7th, 2009

    Improved efficiency in GNAT.Sockets.Check_Selector
    Some extraneous local copies of the socket set parameters of Check_Selector have been removed, providing improved efficiency and reduced stack usage for this routine.

  • GNAT Pro | GPS | GNATbench
    Apr 6th, 2009

    New preference to select a default VCS
    In the VCS pane of the Preferences dialog, the preference "Default VCS" can be used to select a default VCS which will be used by GPS when the projects do not define a VCS.

  • GNAT Pro | GPS | GNATbench
    Apr 6th, 2009

    New plug-in autognatpp.py
    A new optional plug-in is provided as an alternative to autoformat.py which will call gnatpp on each file save instead of calling the internal code reformatter.

  • GNAT Pro | GPS | GNATbench
    Apr 6th, 2009

    New preference: Wrap around on next/previous
    When using the 'Next Tag' and 'Previous Tag' actions/menus, this preference determines whether wrap around to the beginning should occur when reaching the end of the category.

  • GNAT Pro | GPS | GNATbench
    Apr 2nd, 2009

    Support for multi-unit files in project properties
    It is now possible to manipulate multi-unit source files in the naming tab of the project properties editor

  • GNAT Pro | GPS | GNATbench
    Apr 1st, 2009

    VCS sorting on status is now stable
    GPS now ensures that the sort on VCS statuses is stable and that entries for files having the same status are sorted alphabetically on file base names.

  • GNAT Pro | GPRbuild
    Apr 1st, 2009

    New gprbind switch—gnatbind_path=
    A new switch --gnatbind_path= is introduced, so that the proper gnatbind can be specified by the user, when it is not the one at the same location as the Ada compiler. In addition, when this switch is not specified and gnatbind is not found at the same location as the Ada compiler, gprbind now looks for gnatbind on the path.