Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Wednesday July 9, 2008
[PolyORB] New IAC command line switch -nocpp
A new command line switch "-nocpp" is supported by IAC, indicating that the input file has already been preprocessed, and should not be preprocessed again.
Posted in Development Log, PolyORB
Wednesday July 9, 2008
[PolyORB] Better detection of conflicting middleware setups
Middleware setups that include more than one ORB tasking policy or more than one ORB controller are now detected at initialization time and cause an exception to be raised instead of silently proceeding with execution of the inconsistent partition.
Posted in Development Log, PolyORB
Tuesday July 8, 2008
[GNAT] Option to limit number of diagnostics in gnatcheck
A new option ‘-mnnn’ is added to limit the number of the diagnostic messages to be sent to the standard output file to nnn.
Posted in Development Log, GNAT Compilation System
Tuesday July 8, 2008
[GNAT] Rules for gnatcheck are now OFF by default
The default setting for gnatcheck rules is changed from "all rules ON" to "all rules OFF". For old rule files, adding ‘+ALL’ rule option at the beginning of the file keeps its semantic with the new rules default.
Posted in Development Log, GNAT Compilation System
Monday July 7, 2008
Gem #42: Safe and Secure Software : Chapter 6, Safe Object Construction
Welcome to the final gem before we take a break for the summer, which is the sixth chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
The gems series will recommence in September. In the meantime, we hope you have a wonderful summer!
Read the rest of this entry »
 702.0Kb |
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Saturday July 5, 2008
[GNAT] New interface for metric-based rules in gnatcheck
The interface for metric-based gnatcheck rules has been simplified. Now the naming scheme for these rules and the way of parameter passing are the same as for all the other gnatrcheck rules. The old format of the metric-based rules is kept as a non-documented feature for compatibility reasons.
Posted in Development Log, GNAT Compilation System
Thursday July 3, 2008
[AWS] Improve error message for SOAP messages
On the server side generated code (skeleton) we now check that the SOAP objects have the proper type to issue better error messages.
Posted in Development Log, AWS
Wednesday July 2, 2008
GNATbench 2.1 InSight webinar available
The recently recorded GNATbench 2.1 InSight webinar is now available for viewing. Please visit www.adacore.com/home/gnatpro/webinars to watch it.
Posted in Development Log, GNATbench
Monday June 30, 2008
Gem #41: Accessibility Checks (Part II: Ada2005)
Ada Gem #41 — Ada 2005 brings a number of improvements concerning access types, aimed at simplifying the programmer’s task and adding flexibility to the language. But with greater power comes greater responsibility, so accessibility checks have also been extended to prevent these new features from creating dangling pointers.
Read the rest of this entry »
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Monday June 30, 2008
[GPS] Improve the gnat switches handling
The Project Editor and the Ada support module have been improved to better handle the Gnat compiler switches. In particular, the switches shown in the editor now match the actual compiler used, and adds better support for global switches (such as "-gnatwa", "-gnatVa", etc), and new warnings switches (with the form "-gnatw.x").
Posted in Development Log, GPS