- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Improved cross references loading time
Cross references are now loaded much faster by GPS. This brings a significant improvement when e.g. displaying tooltips on very big projects.
Feb 25th, 2009
Schema for gnatmetric XML output
A new '-xs' option is added to gnatmetric. When called with this option, gnatmetric generates the metric report in XML format and the schema file that defines the structure of the XML metric output, and the corresponding schema file is assigned to the generated XML file.
Auto-fix for “suggested replacement”
An auto fix is now offered for messages like "suggested replacement", automatically applying the replacement suggested by the compiler.
Auto-fix for “use explicit pragma Pack”
An auto-fix is now offered for message like "size for T is too small, use explicit pragma Pack", automatically adding a pragma Pack for the entity.
Auto fixes for “missing string quote”
An auto-fix is now offered for message like "missing string quote", adding the missing quote.
Feb 22nd, 2009
New attribute Standard’Compiler_Version
A new attribute Standard'Compiler_Version yields a static string that identifies the compiler version, e.g. "GNAT Pro 6.3.0w (20090221)".
New gnatcheck rule for exit from conditional loop
A new rule (Exits_From_Conditional_Loops) is added to gnatcheck. This rule flags exit statements that transfer the control out of conditional loop statements.
gnatcheck rule for unvconditional exit statements
A new rule (Unconditional_Exits) is added to gnatcheck. This rule flags unconditional exit statements.
Enhancement of Misnamed_Identifiers gnatcheck rule
For the Misnamed_Identifiers gnatcheck rule, it is possible to speciify the suffix for the access-to-access type name.
Feb 19th, 2009
Extra exit points metric added to gnatmetric
New metric is added to gnatmetric. It counts the number of extra exit points for subprogram bodies.
Feb 18th, 2009
Documentation on use of gnaampcmd and project files
The GNAAMP appendix in the GNAT Pro User's Guide Supplement for Cross Platforms has been updated to mention availability of the GNAAMP version of the GNAT command driver tool (gnaampcmd) along with an example of using it with project files.
LEON2 run-times can be used on AT697E
The LEON2 AT697E VHDL model has an error in the embedded multiplier/divider block which can generate wrong values when negative operands are used. The LEON2 run-times are now compiled with the SPARC V7 instruction set to make them usable on hardware with this error.
Append_All in tables packages
A new convenience routine called Append_All is added to GNAT.Table and GNAT.Dynamic_Tables. It may be used to append a series of elements with one call (typically given as an aggregate).
Entities browser preserves source order
When a record is analyzed in the entities browser, its fields are now displayed in the same order as in the source code
Feb 15th, 2009
Implicit_Packing applies to record types
The effect of pragma Implicit_Packing is now extended to non-discriminated records with all scalar subcomponents. An implicit pragma Pack will be generated for such records if required to meet the size imposed by an explicit Size clause.
Feb 12th, 2009
Improved handling of strings in the DSA
Improvements and fixes have been made to the code generation circuitry for the distributed systems annex when using the PolyORB PCS, related to the handling of String and Unbounded_String data. Note that these changes require a matched update of compiler and PCS.
Feb 12th, 2009
Improved handling of unbounded string arguments
When using the Ada DSA applicative personality, remote calls involving arguments of type Ada.Strings.Unbounded.Unbounded_String now use the native PolyORB string type, providing better performance. Note that the PCS API has been updated, and this requires a corresponding compiler update.
Feb 11th, 2009
-gnatd.n switch prints file list
A list of all source files read by the compiler is produced by the -gnatd.n switch. This can be useful in preparing bug reports, for example.
Feb 10th, 2009
Support selection of multiple activities
Actions on the VCS Activities explorer can now be done on multiple activities. For example, it is possible to delete or commit all selected activities.
Feb 5th, 2009
AdaCore is organizing a one day conference in Paris, March 26, around the theme "The Lean, Agile Approach to High Integrity Software". Our panel of experts will present real world examples that illustrate how ‘Lean Production’ and 'Agile Programming' concepts are being successfully applied to software development.
- Jim Sutton (Author of Lean Software Strategies)
- Roberto di Cosmo - University of Paris VII
- Alexandre Boutin - Yahoo
- Emmanuel Chenu - Thales
- David Jackson / Andy Vickers - Praxis High-Integrity Systems
- Cyrille Comar - AdaCore
For more information on this event, please visit:
If you, and/or any of your colleagues would like to register free of charge for the event, please send an email to firstname.lastname@example.org.
Feb 4th, 2009
Interfacing with C++ non-default constructors
The compiler now supports interfacing with C++ non-default constructors. This feature provides the basic functionality required for object declarations. It also provides support for record components that are CPP_Class types and are initialized by means of limited aggregates or through the Ada 2005 extended return statement for built-in-place initialization.
Ability to specify font for annotation comments
It is now possible to specify a different font for annotation comments. Previousely, the font for regular comments was always used for special comments.
Meaningful source editor titles
GPS now uses more meaningful titles for source editors used to store version control related information: specific file revisions, file logs or activity logs.
listvars.py plugin can show non-local variables
This plug in shows which variables are used by a subprogram. It now provides a second contextual menu to show only non-local variables