- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Aug 31st, 2013
New switch -output-msg-only
The CodePeer switch -output-msg-only will generate text messages, thus replacing the need to use codepeer_msg_reader manually, e.g: codepeer -Pprj -output-msg-only
Aug 30th, 2013
codepeer_msg_reader: new switch -out
The codepeer_msg_reader utility now accepts a new optional switch -out <output-file> which allows you to generate CodePeer messages in a file directly.
Aug 23rd, 2013
Improved initial language detection in debugger
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 detected, even when the main subprogram is not in Ada, or when it was compiled without debugging info. This makes it easier to debug the program's Ada code without having to switch the language manually.
GPS: new command line -X
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.
Aug 21st, 2013
Tree_Reader gives access to the current node
The package DOM.Readers gives access to the DOM node that is being created. This allows users to more easily extend the Tree_Reader object to add their own processing, like creating custom attributes.
Aug 21st, 2013
Clearer form for messages with equality conditions
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: display text only in the toolbar
There is a new preference to set the toolbar style to "text only".
GPS: window title now lists the base name first
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. On operating systems where the truncated title of the window is displayed in the task bar, this makes choosing between multiple GPS instances easier.
Aug 18th, 2013
CWE field in CSV output
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
A new Python support script named modules.py has been added to GPS. It provides a high-level interface for extending GPS. In particular, it makes it possible to create new views that are saved in the desktop and restored when GPS is restarted.
Ada Web Server
Aug 9th, 2013
Add type information for session values
It is now possible to know the type of the data stored into the session while using the For_Every_Session_Data iterator.
GPS: progress bar when running gps_codepeer_bridge
After running CodePeer, gps_codepeer_bridge is launched to load messages. This can take a long time on large sources. A progress bar is now displayed during this phase to provide feedback to the user.
Aug 8th, 2013
-b, -c and -l may be used in package Builder
The switches -c, -b and -l are no longer restricted to the command line. They may be specified in package Builder of the main project.
Support for compare-and-swap primitive on LEON3
The atomic compare-and-swap primitive implemented in the LEON3 is now fully supported by the toolchain.
‘0’ parameter for gnatcheck -j option
The gnatcheck '-j<par>' option accepts the '0' parameter that means the number of processor cores on the platform.
Aug 6th, 2013
Support for numeric System.Address
CodePeer now supports Ada code which assumes that the type System.Address is nonprivate and defined as a numeric type, thus allowing address arithmetic and numeric constants without using System.Storage_Elements. This is particularly useful when analyzing legacy Ada 83 code.
GPS: reorganize editor status bars
Changed the order of buttons and text in the status bar to avoid flickering when the location is changed or a selection is made, since we now display the amount of selected text.
GPS: tooltips for SPARK 2014 and Ada 2012 aspects
Ada 2012 and SPARK 2014 aspects are now displayed in tooltips.
Aug 2nd, 2013
A new switch --comments-only has been added to gnatpp. It directs gnatpp to format the comments, but leave the rest of the program text alone.