- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Jun 26th, 2004
Project files allow null declarations
Empty declaration "null;" may now be used in Project files everywhere a declaration is allowed. They have no effect.
Jun 22nd, 2004
Lower minimum task stack size on Windows
The minimum task stack size on Windows was 8kb. This has been lowered to 1kb to better support low memory footprint constraints.
Jun 20th, 2004
Improved handling of large arrays
The inefficient size checks for large arrays have been entirely eliminated. Another benefit is that now it is possible to allocate much larger arrays, particularly on 64-bit systems.
Jun 19th, 2004
Improved code for array comparison
The efficiency of the generated code for comparison of arrays in many simple cases has been greatly improved.
Jun 18th, 2004
gnat metric and extending project
When gnat metric is called on an extending project, gnatmetric is called on all the extended project sources including the inherited sources, not only the sources that are defined or redefined in the extending project.
Jun 17th, 2004
Style check for max nesting level
A new style switch (-gnatyLnnn, MAX_NESTING=nnn in VMS) allows restriction of the maximum nesting of source constructs (including loops, conditionals, subprograms, etc). This check is off by default.
Pragma Profile allowed in system.ads
A pragma Profile may now be placed in system.ads. This allows a desired profile to be enforced autaomatically for a specific run-time library configuration.
Pragma Profile_Warnings implemented
A new pragma Profile_Warnings is implemented which has the same form as pragma Profile, but activates the set of restrictions for the profile in warning mode rather than error mode.
Pragma Profile (Restricted) implemented
The new Ada 2005 pragma Profile is now enhanced to allow Restricted as a parameter. This pragma may be used in Ada 95 mode. The effect is the same as the previous pragma Restricted_Run_Time which is still recognized but which is considered to be obsolescent.
Jun 10th, 2004
Change in error message of GNAT.Debug_Pool
The error messages emitted by GNAT.Debug_Pool now start with "error:", like the compiler's, so that it is easier to search the output of your application for such errors.
Jun 3rd, 2004
‘kill’ aborts all tasks in multi-tasks mode
The debugger for VxWorks provides a way to kill all tasks in the application, instead of killing just the current task. It is now the default behavior of the kill command in multi-tasks mode.