Adacore - adacore.com - AdaCore Latest Updates
General Information:
Latest News:
Cobtract-based programming: making software more reliable 25 Aug 2013 | 02:05 pm
Embedded.com | Cobtract-based programming: making software more reliable | Aug 25, 2013
Improved initial language detection in debugger 23 Aug 2013 | 05:00 am
When loading the symbols of a program, the debugger tries to determine what language should be selected as the initial language. The debugger now sets the language to Ada whenever the Ada runtime is d...
GPS: new command line -X 22 Aug 2013 | 05:00 am
This new switch is similar to -X in gprbuid, and can be used to set the value of the scenario variables found in your project.
Clearer form for messages with equality conditions 21 Aug 2013 | 05:00 am
For messages indicating equality conditions, CodePeer will express these in the form "X = Y + C" rather than "X - Y = C" (similarly, it will show "X = Y" rather than "X - Y = 0").
GPS: window title now lists the base name first 19 Aug 2013 | 05:00 am
The GPS window's title has been changed slightly, so that the base name of the current file appears first, then its directory, and finally the project. This is more user friendly on Windows where the ...
GPS: display text only in the toolbar 19 Aug 2013 | 05:00 am
There is a new preference to set the toolbar style to "text only".
CWE field in CSV output 18 Aug 2013 | 05:00 am
The CSV output generated by codepeer_msg_reader now contains an additional field listing the relevant CWE (Common Weakness Enumeration) Ids corresponding to a given message.
GPS: new plug-in modules.py 12 Aug 2013 | 05:00 am
A new support python script named modules.py has been added to GPS. It provides a high-level interface to extending GPS. In particular, it makes it possible to create new views that are saved in the d...
Add type information for session values 9 Aug 2013 | 05:00 am
It is now possible to know the type of the data stored into the session while using the For_Every_Session_Data iterator.
SPARK 2014 Toolset User’s Guide 8 Aug 2013 | 01:13 pm
This guide is aimed at getting new users up and running with the SPARK 2014 tools.
