Development Log in August 2012.

  • CodePeer
    Aug 31st, 2012

    Improved handling of Ctrl-C
    When interrupting a CodePeer run using Ctrl-C, a clean up is now done and in particular no lock file is left, which makes it easier to re-run CodePeer afterwards.

  • GNAT Pro
    Aug 26th, 2012

    New style rule for NOT IN
    If token style checking is enabled (-gnatyt), then there must be exactly one blank, and no other whitespace, between a NOT and following IN keyword.

  • GNAT Pro | GPS | GNATbench
    Aug 24th, 2012

    GPS: improved support for C++ mangled names
    Internal support has been added for handling C++ mangled names. This improves response time when performing source navigation from Ada to C++ and removes the dependency on the external tool c++filt. This new support requires a version of the G++ compiler from the GNAT toolset later than 2012-06-23.

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

    GB: additional Pretty Printer output flexibility
    The "Pretty Print" command now allows a variety of output file settings, rather than unconditionally forcing a specific behavior. A new preference controls the behavior, which defaults to the original behavior of replacing the input file with the formatted output. If the preference is disabled, the behavior regarding the output file is controlled by the Pretty_Printer package in the project file. If that package is not defined in the project file or output switches are not specified, the behavior is the default specified by the pretty printer tool itself.

  • GNAT Pro
    Aug 16th, 2012

    Control over intermediate overflow checking
    A new pragma Overflow_Checks provides extended control for overflow checking of intermediate arithmetic results for signed integer arithmetic. Modes SUPPRESSED/CHECKED correspond to the existing checks off and on modes. Two additional modes are now available. MINIMIZED mode computes intermediate results using Long_Long_Integer arithmetic, so that most intermediate overflow are avoided. ELIMINATED mode computes intermediate results using multiple-precision arithmetic if necessary, eliminating intermediate overflows. The modes can be controlled independently for expressions within and outside assertions. A new switch -gnato?? (? = 0/1/2/3 for SUPPRESSED/CHECKED/MINIMIZED/ELIMINATED) can be used to control the default setting of the overflow checking mode.

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

    GPS: search in current project only
    A new scope has been defined to search in the currently selected project.

  • GNAT Pro
    Aug 16th, 2012

    Avoid unnecessarily overaligned access types
    On platforms that do not require strict alignment of memory accesses, the default alignment of all access types is now capped to that of access types with standard size (Standard'Address_Size). This in particular means that access-to-unconstrained-array types are not overaligned by default anymore.

  • Ada Web Server
    Aug 14th, 2012

    Add support for certificate’s serial number
    It is now possible to retrieve a certificate serial number.

  • GNAT Pro | GPS | GNATbench
    Aug 14th, 2012

    GB: add PDF versions of User’s Guides
    The PDF versions (A4 or letter) can be downloaded from a top-level PDF versions page located in the GNATbench help contents.

  • Ada Web Server
    Aug 14th, 2012

    Add support for certificate’s serial number
    It is now possible to retrieve a certificate serial number.

  • GNAT Pro | GPS | GNATbench
    Aug 14th, 2012

    GPS: search/replace with regular expressions
    The replacement may contain the special escapes \0 through \9 to refer to the corresponding matching text and sub-expressions if the search is done in regexp mode.

  • GNAT Pro | GPS | GNATbench
    Aug 14th, 2012

    GB: remove trailing blanks when saving an Ada file
    A new preference, "Remove trailing spaces when saving," has been added to the Ada Editor preference page. This preference may be set to "Never," "Autodetect," and "Always." "Never" and "Always" are obvious. "Autodetect" directs the IDE to remove trailing blanks only if the file had zero trailing blanks when it was initially loaded.

  • Ada Web Server
    Aug 13th, 2012

    Add support for Certificate Revocation List
    Add support for Certificate Revocation List (CRL) on a certificate authority. Once a client's certificate is revoked and the CRL created on the server the corresponding client won't be able to connect to the server.

  • Ada Web Server
    Aug 13th, 2012

    Add option to control the session’s id length
    This option controls the length in characters of the generated session id. The default size is not changed but it is now possible to adjust (using the Session_Id_Length configuration option) the size of this id to improve the security and lesser the collision probability.

  • Ada Web Server
    Aug 13th, 2012

    Add support for Certificate Revocation List
    Add support for Certificate Revocation List (CRL) on a certificate authority. Once a client's certificate is revoked and the CRL created on the server the corresponding client won't be able to connect to the server.

  • Ada Web Server
    Aug 13th, 2012

    Add option to control the session’s id length
    This option controls the length in characters of the generated session id. The default size is not changed but it is now possible to adjust (using the Session_Id_Length configuration option) the size of this id to improve the security and lesser the collision probability.

  • SPARK Pro
    Aug 10th, 2012

    Added switch file support for Victor
    Victor now reads per-unit switch files which can be used to tailor options to a specific unit. For example, you may want to use cvc3 for a particular unit and a step limit of only 250 for another.

  • GNAT Pro | GPS | GNATbench
    Aug 9th, 2012

    GPS: new menu to hide globals from outline view
    Visibility of global objects in the Outline View is now configurable via a contextual menu.

  • Ada Web Server
    Aug 8th, 2012

    Add support for client certificate verification
    Add support for verification of client's certificate and Certificate Authority. This is the highest level of security when strong authentication of client connecting to a server is required.

  • GNAT Pro | GPS | GNATbench
    Aug 8th, 2012

    ECL: improved builder support
    It is now possible to customize the commands that are used when compiling, building, or cleaning projects or files, using the Ada "Builder Targets" preference page. When customizing the Ada perspective, you may add builder toobar buttons which enable the "GNATbench Build Toolbar Menus" command group. A build mode chooser (checks/debug/default/gcov/gprof/optimize) is also available in "GNATbench Build Toolbar Menus."

  • Ada Web Server
    Aug 8th, 2012

    Add support for client certificate verification
    Add support for verification of client's certificate and Certificate Authority. This is the highest level of security when strong authentication of client connecting to a server is required.

  • GNAT Pro
    Aug 8th, 2012

    Use of attribute ‘Overlaps_Storage in all Ada modes
    Attribute 'Overlaps_Storage can now be used in all Ada modes. The attribute detects whether two objects share some or all of their storage.

  • GNAT Pro | GPS | GNATbench
    Aug 7th, 2012

    GPS: display of elaboration circuitries
    GPS now displays as a graph the elaboration circuitries detected by gnatbind at compile time.

  • GNAT Pro | GPS | GNATbench
    Aug 7th, 2012

    ECL: support for gprbuild
    GNATbench for Eclipse now directly supports use of gprbuild in addition to gnatmake when building. Selection of the builder may be made via Ada "General" preferences. The preferences are to: always use gprbuild, always use gnatmake, or automatically select the builder on a per-project basis. Automatic selection is based upon whether multiple languages are specified in the GNAT project file.

  • GNAT Pro
    Aug 6th, 2012

    Aliasing and scalar initialization of parameters
    Compilation switch -gnateb allows to detect aliased parameters as well as missing initialization of scalars on IN, IN OUT, OUT parameters and function results. To have the desired effect, switch -gnateb must be used together with -gnata.

  • GNAT Pro
    Aug 4th, 2012

    Automatic endianness conversions
    A new implementation-defined representation aspect and associated attribute Scalar_Storage_Order has been implemented. The endianness of composite (record or array) types can now be specified using the new aspect/attribute, and the compiler will automatically generate appropriate byte swapping operations upon any access.

  • GNAT Pro
    Aug 3rd, 2012

    Better detection of infinite loops
    The compiler now detects more cases of potentially infinite loops, when the loop contains calls to procedures, for which it issues a warning.

  • GNAT Pro
    Aug 2nd, 2012

    Clarify warning on exception in ZFP mode
    In ZFP mode there is no exception propagation, so warnings about exceptions that may be raised are misleading. The compiler now clarifies the source of the warnings, for example an address clause that is misaligned.

  • GNAT Pro | GPS | GNATbench
    Aug 2nd, 2012

    GB: GNAT & Ada reference manuals in GNATbench help
    Add to GNATbench help content:

      - The GNAT User's Guide & Reference Manual
      - Ada Language Reference Manuals
      - GPRbuild User's Guide
    

  • CodePeer
    Aug 2nd, 2012

    More precise treatment of floating-point values
    CodePeer now analyzes more precisely code involving floating-point values, by doing the same kind of path-sensitive analysis as the one that was already implemented for integers. Also, CodePeer avoids systematically generating medium level messages for possibly failing assertions involving floating-point values.

  • GNAT Pro | GPS | GNATbench
    Aug 2nd, 2012

    GPS: display timestamps in File Selector dialog
    The /File/Open... dialog now displays the timestamp for local files.

  • CodePeer
    Aug 1st, 2012

    Support for project files (.gpr)
    CodePeer now supports GNAT project files on the command line, so that it is possible to do e.g: codepeer -Pproject. Previously, support for .gpr files was only available from the GPS IDE. Consequently, the use of .library files is now deprecated (but still supported) in favor of .gpr files.