- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
GPS: Use the primary modifier for shortcuts
GPS now uses the primary system modifier key instead of the fixed control key for its default key shortcuts. This has only effects on OSX, where this modifier is mapped to the command key.
GPS: Recompute Xrefs on file save
GPS now recomputes the cross references of a given file every time this file is saved. This enhances the quality of all tools relying on the cross references engine - refactorings, code navigation, occurences highlighting, etc.
Ada Web Server
Oct 24th, 2013
Add support for asynchronous SOAP calls
It is now possible to call SOAP Asynchronous routines.
Oct 23rd, 2013
Automatic registration of foreign threads in .NET
Foreign threads (those created outside Ada) are now recognized automatically and converted to Ada tasks for proper treatment by the .NET Ada run time as Ada tasks.
GPS: Faster Ways to Open and Navigate GPR files
New action "Edit project source file" provides fastest way to open the source of current project in GPS editor.
Oct 21st, 2013
Eliminate junk redundant code for short circuit ops
Short circuit operators were generating "expression with actions" nodes with no actions, which resulted in unnecessarily inefficient code in some cases and also junked up -gnatG listings.
Oct 20th, 2013
Warning on global reference in barrier function
The compiler now warns when the barrier function of a protected entry body mentions a variable that is neither a private component of the protected type, nor is declared in an enclosing package body.
GPS: New plug-in vim.py
GPS now has a vim emulation layer, that aims to reproduce the behavior of the vim text editor in GPS editor buffers. It will be enabled by default in all buffers if you activate it via the plug-ins dialog.
Oct 16th, 2013
Additional warnings controlled by -gnatw.w
The -gnatw.w switch now controls warnings for pragma Warnings (Off, String) where either there is no matching pragma Warnings (On, String), or there is no warning that is suppressed by the pragma. Previously these two warnings were given unconditionally. Now they are controlled by -gnatw.w, and are off by default (since -gnatw.w is off by default).
Ada Web Server
Oct 16th, 2013
Add thread-safe send/close WebSocket support
There is some new routines integrated into the WebSocket registry to send data to a single peer and to close the WebSocket. These routines, as for all routines into the registry, are thread-safe.
Oct 11th, 2013
Debugger warning if “source” unable to open file
The "source" command, when invoked form a script, has been enhanced to print a warning when unable to open the given file. It was previously silently ignoring the error.
The following slides are from presentations given at the GNAT Industrial User Day Conference on September 25, 2013 in Paris.
Oct 8th, 2013
Expose utf8 functions in unicode-ces-utf8.ads
Some specialized UTF8 functions were added to this package, which can therefore be used in more contexts that just XML/Ada
Oct 8th, 2013
Better warnings for unordered enum references
The warning messages for suspicious uses of unordered enumeration types now include the name and declaration location of the type in question.
Improve optimization of 2**X (X a signed integer)
The compiler now optimizes 2**X to a shift where X is of a signed integer type (of course if X is negative, and checks are on, a constraint error will be raised). This was always optimized for the unsigned case, but not for the signed case.
GPS: Enhanced Edit/Selection/Refill behavior
When refilling a comment block with the "Refill" command, the cursor will now be placed at the end of the last word of the comment to allow the user to keep editing his comment seamlessly.
ASIS: A_Raise_Expression is added
A_Raise_Expression is added to the set of values of Asis.Expression_Kinds type to represent a new syntax (a raise expression) introduced by AI12-0022-1.
GNATCOLL.SQL: Improved error recovery
The error recovery circuitry in GNATCOLL.SQL.Postgres was improved to handle more cases of failed connections where a reconnection is required.
Oct 3rd, 2013
Hardware breakpoint/watchpoint support on Mac OS X
Support for hardware breakpoints and watchpoints is now available in the Mac OS X Debugger.
GPS: change current line color in debugger
A new preference has been added to control the color of the current line in the debugger.
GNATCOLL.Traces: time stamp in file name
A new variable substitution $T can now appear in GNATCOLL.Traces log file names, which is replaced with the current date and time in ISO format.
GPS: Key shortcut for “Locate in Project View”
A new action, "Locate file in explorer", is available for key shortcuts and scripting.
Oct 1st, 2013
Better error recovery for bad block/loop label
If a label on a block or loop is ended with semicolon, instead of colon, the compiler used to simply flag the end statement. Now it correctly complains that the semicolon should be a colon.