Development Log in October 2012.

  • GNAT Pro
    Oct 30th, 2012

    New gnatpp option to set named number casing
    A new option -nn(D|U|L|M) has been added to gnatpp. This option allows specifying the casing of names introduced by named number declarations.

  • GPRbuild
    Oct 26th, 2012

    Unconditionally create—autoconf= path
    gprbuild now creates unconditionally the directory of the configuration project file specified with --autoconf= when this directory does not exist.

  • CodePeer
    Oct 25th, 2012

    Improved recognition of stub subprograms
    When CodePeer encounters a routine whose body consists of only a raise statement and for which No_Return has not been specified, it is assumed that this is a stub routine whose "real" implementation has not been provided. Calls to the subprogram are not treated as errors but instead as calls to a subprogram whose implementation is unknown.

  • Speed up GNATCOLL.SQL.Sessions
    The internal handling of the cache in the sessions has been optimized, leading to execution as much as three times faster on a code that performs a lot of manipulation of database elements.

  • SPARK Pro
    Oct 23rd, 2012

    Improved Simplification for composite constants
    The Simplifier's rules for processing composite constants have been improved. Consequently, users may notice more VCs being discharged by the Simplifier.

  • GNAT Pro | GPS | GNATbench
    Oct 22nd, 2012

    ECL: AJIS development supported
    GNATbench now provides an integration with AJIS, the high-level Ada-Java Interface Suite. A new project type and corresponding new-project wizard are provided.

  • New API GNATCOLL.Xref and gnatinspect
    A new package GNATCOLL.Xref is provided to perform cross-reference queries on source code. It analyzes the compiler generated .ali and .gli files, and stores them in a sqlite database to perform fast queries. An external tool gnatinspect is also provided that provides a command line interface to this package, that can be used from non-Ada tools.

  • GNAT Pro
    Oct 19th, 2012

    [VMS] Support for DECForms in DEClib
    The DECForms API (forms_definitions.ad[bs]) has been ported and added to DEClib providing the capability to develop and deploy forms-based user interfaces for interactive applications running on VMS.

  • GNAT Pro
    Oct 19th, 2012

    Pragma Attribute_Definition
    A new implementation defined pragma Attribute_Definition has been implemented, which allows an attribute definition clause to be expressed as "pragma Attribute_Definition (Attribute, Entity, Expression);". If the attribute is known to the compiler, this is equivalent to "for Entity'Attribute use Expression", otherwise the pragma is ignored. This allows source code to be written that takes advantage of some new attribute, while remaining compilable with earlier compiler versions (which ignore unrecognized pragmas, but not unrecognized attributes).

  • GNAT Pro
    Oct 19th, 2012

    Add A_Box_Expression to Asis.Expression_Kinds
    According to ARG ASIS 2005 Draft, A_Box_Expression is added to the set of values of the Asis.Expression_Kinds. This makes processing of <> in association more convenient.

  • Ada
    Oct 18th, 2012

    AI-421 Sequential activation and attachment
    The Sequential partition elaboration policy is supported for restricted (Ravenscar) runtimes. When this policy is used, tasks activation and interrupt handlers attachment is deferred until all library units are elaborated.

  • CodePeer
    Oct 17th, 2012

    Support for -jobs 0
    The -jobs switch now accepts the special value 0 which means use the number of cores available on the machine.

  • GNAT Pro
    Oct 17th, 2012

    Improved generated code for VAX float literals
    On OpenVMS platforms, real literals using the VAX float representation are now directly emitted. Generated code is much smaller and compile time is reduced.

  • GPS | GNATbench
    Oct 16th, 2012

    GPS: Show protected objects in Outline view
    Protected and task types/objects and their entries are now visible in the Outline View. A new filter in Outline View "Show tasks, entries, and protected types" is used to show/hide these items.

  • GNAT Pro | GPS | GNATbench
    Oct 16th, 2012

    GPS: Show protected objects in Outline view
    Protected and task types/objects and their entries are now visible in Outline View. New filter in Outline View "Show tasks, entries, and protected types" is used to show/hide these items.

  • CodePeer
    Oct 15th, 2012

    New switch: -output-msg
    CodePeer now takes a new -output-msg switch when using project files, and outputs compiler-like message directly by calling codepeer_msg_reader automatically.

  • SPARK Pro
    Oct 9th, 2012

    Victor is now available on Solaris
    Victor is now available on all supported platforms, including Solaris.

  • GNAT Pro
    Oct 8th, 2012

    Ignore Optimize_Alignment (Space) to avoid error
    Previously Optimize_Alignment (Space) forced an alignment of one for all packed records, including variable length records. Since in general it is not possible to specify an alignment of 1 for such records, this could result in a compiler error. The compiler now ignores the pragma for such records, avoiding this error.

  • Ada
    Oct 5th, 2012

    AI-265 Partition elaboration policy
    The pragma Partition_Elaboration_Policy specifies the elaboration policy for a partition. The default policy is Concurrent.

  • CodePeer
    Oct 4th, 2012

    Improved handling of -output-only
    The -output-only switch is now taken into account by all tools (codepeer_msg_reader, GPS, ...) in addition to the HTML and Text output.

  • GNAT Pro
    Oct 4th, 2012

    Python support in sparc64-solaris debugger
    The sparc64-solaris debugger has been enhanced to include a Python interpreter. This interpreter can be used to extend the debugger's functionality using Python scripts.

  • GPRbuild
    Oct 3rd, 2012

    Add support for Windows resources
    Support for compiling Windows resources file with the binutils's windres compiler has been added.

  • GNAT Pro
    Oct 3rd, 2012

    Python support in x86_64-darwin debugger
    The x86_64-darwin debugger has been enhanced to include a Python interpreter. This interpreter can be used to extend the debugger's functionality using Python scripts.

  • GNAT Pro
    Oct 2nd, 2012

    Python support in x86_64-windows debugger
    The x86_64-windows debugger has been enhanced to include a Python interpreter. This interpreter can be used to extend the debugger's functionality using Python scripts.

  • CodePeer
    Oct 2nd, 2012

    -background enabled by default
    The -background codepeer switch is now the default, so it's no longer needed to specify it explicitly. The -no-background is available to get the previous default behavior.