Development Log in 2015.

  • SPARK Pro
    Dec 23rd, 2015

    Fine-grain analysis of generic code in GPS
    It is now possible to use the submenus "Examine Subprogram", "Prove Subprogram", "Prove Line" and "Prove Check" (from the contextual menu in GPS) from within a generic unit, which has the effect of applying the desired analysis on all instances of the generic unit. The same effect can be obtained on the command-line by using switch -U in addition to the required switches --limit- subp and --limit-line, although the main benefit is expected to be for interactive use in GPS.

  • GNAT Pro | GPS | GNATbench
    Dec 22nd, 2015

    GPS: OS shell emits stty command automatically
    The "OS Shell" window sometimes need a "stty echo" command to properly display the keys typed on the keyboard. GPS now has a preference to automatically emit this command. The new shell also has a GPSSHELL environment variable set automatically, so that you can test it in your shell's configuration files to enable or disable specific behaviors.

  • GNAT Pro | GPS | GNATbench
    Dec 22nd, 2015

    GPS: OS shell emits stty command automatically
    The "OS Shell" window sometimes need a "stty echo" command to properly display the keys typed on the keyboard. GPS now has a preference to automatically emit this command. The new shell also has a GPSSHELL environment variable set automatically, so that you can test it in your shell's configuration files to enable or disable specific behaviors.

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

    GPS: export the output of program runs
    A new button was added to the local toolbar of the Run view, to save the run command output to a file.

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

    GPS: export the output of program runs
    A new button was added to the local toolbar of the Run view, to save the run command output to a file.

  • GNAT Pro
    Dec 16th, 2015

    -gnatmake -P and -gnatclean -P
    "<target>-gnatmake -P" now invokes "gprbuild --target=<target>". "<target>-gnatclean -P" now invokes "gprclean --target=<target>".

  • SPARK Pro
    Dec 15th, 2015

    Better support for use of Why3 IDE
    For advanced users and mainly in connection with manual proof using interactive proof assitansts such as Coq and Isabelle, it can be useful to use the Why3 IDE (not provided by AdaCore) to inspect and modify the session file. This use case is now better supported, mainly it is easier to see what SPARK check a VC corresponds to.

  • GNAT Pro
    Dec 15th, 2015

    More consistent layout beyond ASIS DDA with -gnatct
    The layout of some complex types not covered by ASIS DDA, in particular of discriminated tagged types, has been adjusted when -gnatct is specified.

  • SPARK Pro
    Dec 9th, 2015

    Generics’ formals can now appear on contracts
    The SPARK toolset now allows user provided contracts that are placed on generics to refer to the generics' formals.

  • GNAT Pro
    Dec 9th, 2015

    Enhanced debugger menu to select function overload
    When trying to evaluate an expression referencing an ambiguous function name in the debugger, a menu queries which function to use. This menu has been enhanced to display the argument types and the return type (if applicable) for all the overloaded functions to make the choice easier. This behavior can be disabled with the "set/show ada print-signatures" commands.

  • GNAT Pro
    Dec 9th, 2015

    Better message on illegal reference in aspect
    This patch improves on the error message for a reference to the current entity in an aspect for a type, when the reference freezes the type.

  • GPS | GNATbench
    Dec 9th, 2015

    GPS: update integration of gnattest for stubbing
    GPS support of gnattest is improved. GPS is able to navigate into stubs, stub setters and original subprogram bodies. Run button launches gnattest in execution mode when multiple test drivers are generated by gnattest.

  • GNAT Pro | GPRbuild
    Dec 5th, 2015

    Path names of duplicate unit sources
    In verbose mode, when a duplicate unit is found in two sources, the path names of the two sources are now output.

  • GNAT Pro | GPS | GNATbench
    Dec 4th, 2015

    GB: trailing space removal set to autodetect
    The default value of the "remove trailing spaces when saving" feature is set to Autodetect. When editing new files and Autodetect mode is selected, the trailing spaces are removed. In this mode they are preserved only if trailing spaces were detected in the file content when the file was opened.

  • GNAT Pro | GPS | GNATbench
    Dec 4th, 2015

    GB: trailing space removal set to autodetect
    The default value of the "remove trailing spaces when saving" feature is set to Autodetect. When editing new files and Autodetect mode is selected, the trailing spaces are removed. In this mode they are preserved only if trailing spaces were detected in the file content when the file was opened.

  • GNAT Pro
    Dec 3rd, 2015

    Obj’Image is implemented
    AI12-0124-1 extends the semantics of attribute 'Image so that the prefix can be an object of a scalar type, following the semantics of the GNAT-specific attribute 'Img.

  • GNAT Pro | GPRbuild
    Dec 2nd, 2015

    New Library_Kind “static-pic”
    A new library kind "static-pic" is introduced. static-pic libraries are static libraries, but their code is compiled with the PIC option, if it exists.

  • CodePeer
    Dec 2nd, 2015

    New switch: -compiler-mode
    A new CodePeer switch -compiler-mode is provided to replace the use of codepeer-gprbuild -gnateC, allowing more flexiblity and in particular support for other CodePeer switches (on the command line or in the project file).

  • 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.

  • 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.

  • 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.

  • 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.

   1  2  3     Next »