Development Log in November 2015.

  • GNAT Pro | GPS | GNATbench
    Nov 30th, 2015

    GPS: exporting Call Trees to an editor
    A new action and contextual menu allow exporting the contents of the Call Trees view to an editor.

  • GNAT Pro | GPS | GNATbench
    Nov 30th, 2015

    GPS: exporting Call Trees to an editor
    A new action and contextual menu allow exporting the contents of the Call Trees view to an editor.

  • GNAT Pro | GPS | GNATbench
    Nov 30th, 2015

    GPS: exporting Call Trees to an editor
    A new action and contextual menu allow exporting the contents of the Call Trees view to an editor.

  • GNAT Pro
    Nov 28th, 2015

    Improved C binding generation with anonymous types
    The generation of C and C++ bindings by means of the -fdump-ada- spec option has been improved for anonymous types nested in structures or unions.

  • GNAT Pro | GPS | GNATbench
    Nov 27th, 2015

    GPS: menubars for floating windows
    When an editor or a browser is made floating, its window now includes a menubar similar to the one used in the main GPS window. This makes it more convenient to execute actions via menus. It also includes a copy of the global toolbar.

  • GNAT Pro | GPS | GNATbench
    Nov 27th, 2015

    GPS: menubars for floating windows
    When an editor or a browser is made floating, its window now includes a menubar similar to the one used in the main GPS window. This makes it more convenient to execute actions via menus. It also includes a copy of the global toolbar.

  • GNAT Pro | GPS | GNATbench
    Nov 27th, 2015

    GPS: menubars for floating windows
    When an editor or a browser is made floating, its window now includes a menubar similar to the one used in the main GPS window. This makes it more convenient to execute actions via menus. It also includes a copy of the global toolbar.

  • GPS | GNATbench
    Nov 26th, 2015

    GPS: C/C++ support for limited macro xrefs
    GPS now has limited support for macro cross references, in that it can now navigate to macro definitions in C and C++

  • GNAT Pro
    Nov 23rd, 2015

    Reduce use of 64-bit arithmetic packages on AAMP
    On the AAMP target, operations like Pos and Length attributes can create dependences on the AAMP 64-bit arithmetic library packages. The compiler has been improved to avoid such dependence in cases of membership tests and comparisons of these attributes involving literal values, as well as in the case of comparing two Length attributes.

  • GNAT Pro
    Nov 21st, 2015

    Improved elimination of useless index checks at -O1
    The compiler now eliminates more index checks that can never fail in loops when the optimization level -O1 or above is specified.

  • GNAT Pro | GPS | GNATbench
    Nov 20th, 2015

    GPS: performance improvement in Project View
    The Project View is significantly faster to load - this is noticeable on projects that have a large number of files.

  • GNATCOLL.Memory: allow dump outputs redirection
    Procedure Redirectable_Dump added to allow dump outputs redirection.

  • GNAT Pro | GPS | GNATbench
    Nov 20th, 2015

    GPS: performance improvement in Project View
    The Project View is significantly faster to load - this is noticeable on projects that have a large number of files.

  • SPARK Pro
    Nov 20th, 2015

    Better support for ‘Update of arrays
    The SPARK toolset now has a better understanding of the 'Update attribute related to array updates. In particular previously SPARK did not know that the attribute could not change the bounds of the underlying array. SPARK now uses this information and this leads to more proofs related to array bounds, array length and array equality, when the 'Update attribute is involved.

  • SPARK Pro
    Nov 20th, 2015

    Continue compilation/analysis on division by zero
    When SPARK_Mode is On, GNAT and GNATprove implement stricter rules than those mandated by Ada RM, by issuing errors on compile-time known constraint errors instead of warnings and unproved check messages. This was the case for divisions by zero which appear legitimately in deactivated code. Such divisions by zero do no stop compilation and analysis anymore, instead a check is generated by GNATprove during proof.

  • GNAT Pro | GPS | GNATbench
    Nov 20th, 2015

    GPS: performance improvement in Project View
    The Project View is significantly faster to load - this is noticeable on projects that have a large number of files.

  • GNATCOLL.Memory: allow dump outputs redirection
    procedure Redirectable_Dump added to allow dump outputs redirection.

  • GNATCOLL.Memory: allow dump outputs redirection
    procedure Redirectable_Dump added to allow dump outputs redirection.

  • GNAT Pro | XMLAda
    Nov 19th, 2015

    new function Schema.Dom_Treader.Current_Node
    This function makes it easier to override primitives like Start_Element to add custom attributes to elements

  • SPARK Pro
    Nov 19th, 2015

    SPARK uses transformations in Why3 session file
    If the Why3 session of SPARK is modified using other tools (e.g. the why3ide tool), and extra transformations are inserted into the session tree, then SPARK will now use this information and "follow" these transformations. This allows a better use of external tools such as why3ide in combination with SPARK, for example to apply transformations that help automatic proof, or for manual proof.

  • GNAT Pro | XMLAda
    Nov 19th, 2015

    new function Schema.Dom_Treader.Current_Node
    This function makes it easier to override primitives like Start_Element to add custom attributes to elements

  • GPS | GNATbench
    Nov 19th, 2015

    Better API for GPS.Message
    The constants for the flags parameter for the GPS.Message constructor were wrong. The flags parameter has been replaced with optional boolean parameters, which are more pythonic and more explicit.

  • SPARK Pro
    Nov 18th, 2015

    Global refinement of In_Out abstract state
    An abstract state classified as In_Out in a Global annotation can now be refined by the following combinations of constituents: 1) At least one constituent must be of mode In_Out, 2) At least one constituent must be of mode Output and at least one constituent must be of mode Input or Proof_In.

  • CodePeer
    Nov 18th, 2015

    Global inputs and outputs stored in the database
    Global inputs and outputs for every subprogram are now stored by CodePeer in the database as annotations, and displayed in the HTML, GPS, and GNATbench output as annotations in the source file.

  • GPRbuild
    Nov 18th, 2015

    Allow more packages in aggregate projects
    Packages Naming, Compiler, Binder and Linker are not allowed in aggregate projects and aggregate library projects. In addition, package Install is not allowed in aggregate projects. All other packages are allowed.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: highlighting focused view
    The GPS color theme was modified so that the view that currently has the keyboard focus has a special color in its notebook tab. Changing the color theme will change the colors, but will still make this tab unique.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: Ellipsis in Project view
    A new setting in the local menu of the Project view can be activated to ellipsize the long file names. A file would thus be displayed as "...long.adb" if the project view is not wide enough to fit the whole name.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: new calculator support in omni-search
    It is now possible to type simple mathematical expression in the omnisearch ("2 + 3**2") to get their result in decimal, hexadecimal and binary.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: highlighting focused view
    The GPS color theme was modified so that the view that currently has the keyboard focus has a special color in its notebook tab. Changing the color theme will change the colors, but will still make this tab unique.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: Ellipsis in Project view
    A new setting in the local menu of the Project view can be activated to ellipsize the long file names. A file would thus be displayed as "...long.adb" if the project view is not wide enough to fit the whole name.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: new calculator support in omni-search
    It is now possible to type simple mathematical expression in the omnisearch ("2 + 3**2") to get their result in decimal, hexadecimal and binary.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: highlighting focused view
    The GPS color theme was modified so that the view that currently has the keyboard focus has a special color in its notebook tab. Changing the color theme will change the colors, but will still make this tab unique.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: Ellipsis in Project view
    A new setting in the local menu of the Project view can be activated to ellipsize the long file names. A file would thus be displayed as "...long.adb" if the project view is not wide enough to fit the whole name.

  • GNAT Pro | GPS | GNATbench
    Nov 17th, 2015

    GPS: new calculator support in omni-search
    It is now possible to type simple mathematical expression in the omnisearch ("2 + 3**2") to get their result in decimal, hexadecimal and binary.

  • Ada Web Server
    Nov 17th, 2015

    Server Name Identification (SNI) support
    Server can provide different certificates for the clients asking for different host names on the same physical IP address.

  • Ada Web Server
    Nov 17th, 2015

    Add support for non-blocking WebSockets
    When sending a message to a set of recipient (URI broadcast) the sending is not blocking. The fastest sockets will get served first and won't be blocked by slower ones.

  • GNAT Pro | GPS | GNATbench
    Nov 16th, 2015

    GPS: GPS.Menu no longer derives from GPS.GUI
    A menu no longer is necessarily a graphical object (it could be displayed outside of the application on some systems like Ubuntu or OSX), so this inheritance has been removed. Most functions have been reimplemented though using the action associated with the menu. Only pywidget() is no longer available. The function GPS.Menu.rename() is no longer provided. Instead, destroy the menu and create a new one associated with the same action.

  • GNAT Pro | GPS | GNATbench
    Nov 16th, 2015

    GPS: GPS.Menu no longer derives from GPS.GUI
    A menu no longer is necessarily a graphical object (it could be displayed outside of the application on some systems like Ubuntu or OSX), so this inheritance has been removed. Most functions have been reimplemented though using the action associated with the menu. Only pywidget() is no longer available. The function GPS.Menu.rename() is no longer provided. Instead, destroy the menu and create a new one associated with the same action.

  • GNAT Pro | GPS | GNATbench
    Nov 16th, 2015

    GPS: GPS.Menu no longer derives from GPS.GUI
    A menu no longer is necessarily a graphical object (it could be displayed outside of the application on some systems like Ubuntu or OSX), so this inheritance has been removed. Most functions have been reimplemented though using the action associated with the menu. Only pywidget() is no longer available. The function GPS.Menu.rename() is no longer provided. Instead, destroy the menu and create a new one associated with the same action.

  • GNAT Pro
    Nov 16th, 2015

    Debugger catchpoint now provides exception message
    When hitting an exception catchpoint while debugging a program, the notification printed by the debugger now includes the exception's message.

  • GNAT Pro
    Nov 14th, 2015

    New routine Current_Process_Id in GNAT.OS_Lib
    A new routine Current_Process_Id has been added into GNAT.OS_Lib which returns the current process identifier. This is supported on all native platforms.

  • GNAT Pro | GPS | GNATbench
    Nov 13th, 2015

    GPS: remove support for GPS.Menu.create
    This python function is now obsolescent. A simple replacement is provided for a few releases, but we encourage you to change your plug-ins to use gps_utils.interactive instead, since the latter creates proper actions which can be reused for contextual menus or key shortcuts.

  • GNAT Pro | GPS | GNATbench
    Nov 13th, 2015

    GPS: remove support for GPS.Menu.create
    This python function is now obsolescent. A simple replacement is provided for a few releases, but we encourage you to change your plug-ins to use gps_utils.interactive instead, since the latter creates proper actions which can be reused for contextual menus or key shortcuts.

  • GNAT Pro | GPS | GNATbench
    Nov 13th, 2015

    GPS: remove support for GPS.Menu.create
    This python function is now obsolescent. A simple replacement is provided for a few releases, but we encourage you to change your plug-ins to use gps_utils.interactive instead, since the latter creates proper actions which can be reused for contextual menus or key shortcuts.

  • SPARK Pro
    Nov 12th, 2015

    Generic formals as initialization items
    Generic formal parameters can now appear in the input_list of an initialization_item within aspect or pragma Initializes.

  • GNAT Pro
    Nov 12th, 2015

    Better error message for illegal stream procedure
    Compiler emits an additional error message on an illegal declaration for a stream procedure, when the second argument is not a first subtype.

  • GNAT Pro
    Nov 11th, 2015

    GNAAMP: Assembly-code statements
    On the AAMP target, the package System.Machine_Code is now supported, which permits writing calls to the procedure Asm with a string literal argument that gives a line of assembly code to be emitted at the point of a call to the procedure. This allows instructions, macros, and directives to be emitted in the assembly output of a program unit.

  • GNAT Pro | GPS | GNATbench
    Nov 10th, 2015

    GPS: preserve size of dialogs
    Most dialogs in GPS can be resized, and GPS will now restore the last size you whenever the dialog is displayed again in the future (either in the current session or in a later session).

  • GNAT Pro | GPS | GNATbench
    Nov 10th, 2015

    GPS: preserve size of dialogs
    Most dialogs in GPS can be resized, and GPS will now restore the last size you whenever the dialog is displayed again in the future (either in the current session or in a later session).

  • SPARK Pro
    Nov 10th, 2015

    Display correct counterexample values in loops
    If there is both counterexample value for a variable in the first iteration of a loop and a counterexample value for the same variable after the first iteration, only the former one was displayed by GNATprove. However, in this case, the counterexample value after the first iteration is relevant and thus GNATprove now displays this value in the counterexample.

   1  2     Next »