- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Apr 30th, 2009
Support for Machine_Attribute arguments of any type
The compiler now supports Machine_Attribute pragma arguments of any type, not only strings.
VCS actions supported from auxiliary buffers
VCS actions can now be run from auxiliary buffers (e.g. diff windows).
Apr 23rd, 2009
Apr 21st, 2009
Ravenscar Cert run-time library
New Ravenscar implementation based on the VxWorks 653 Cert run-time library. Features nearly full Ada 95 exception handling, support for unconstrained function results, dynamic memory allocation, 64 bit arithmetic, stack overflow detection. Available in products for VxWorks 653 and VxWorks 6 Cert.
Apr 20th, 2009
The InSight webinar series continues tomorrow with a presentation by Rod Chapman on the AdaCore/Praxis new joint offering - SPARK Pro.
SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes. This webinar will present the concepts behind the Correctness-by-Construction methodology and will include a demo of the SPARK Pro toolset.
To register for this event, please click here.
Apr 20th, 2009
Processor Affinity for VxWorks SMP
The SMP run-time libraries now support setting processor affinity using pragma Task_Info and package System.Task_Info.
Apr 19th, 2009
Full details on unsupported constructs
When an error message is given for an unsupported construct using the configurable run-time feature, it is no longer necessary to use the -gnatf switch to get details on the missing entity involved. These messages are now given unconditionally.
Apr 18th, 2009
Warning on suspicious modulus values
A warning is now given for cases of suspicious modulus values (e.g. a modulus value of 7 with a size of 7, where 2**7 is probably intended). This warning is on by default, but can be turned off using the -gnatw.M switch (WARNING=NOSUSPICIOUS_MODULUS option in VMS).
New builder module macro “%TT”
A new macro "%TT" is available in the Builder Module. This expands to the full path to a main file in the project tree. This is useful when using the Builder Module to drive tools which need the full path rather than the base name of main files.
Apr 14th, 2009
Performance of neutral and protocol layers
The performance of the neutral and protocol layers has been improved significantly by guarding some costly and seldom useful debugging traces with appropriate configuration knobs, and by rewriting the management routines for some internal data structures to avoid repeated memory allocations and deallocations.
Expanded code directly in the editors
The contextual menu "Expanded code" on Ada sources allows displaying of the expanded code directly in the editor. Also, you can select to display the expanded code for the current subprogram only.
Outline view updated in real-time
The Outline View is now updated after each edition in the buffer: it is no longer required to save the buffer in order for the Outline View to reflect the changes in the file.
Apr 8th, 2009
ASIS: New test to detect null defaults
A new function Is_Default_For_Null_Procedure is added to Asis.Extensions. This test may be helpful for detecting the reason standard ASIS queries Corresponding_Name_Definition and Corresponding_Calles_Entity return Nil_Element.
Apr 7th, 2009
Improved efficiency in GNAT.Sockets.Check_Selector
Some extraneous local copies of the socket set parameters of Check_Selector have been removed, providing improved efficiency and reduced stack usage for this routine.
New preference to select a default VCS
In the VCS pane of the Preferences dialog, the preference "Default VCS" can be used to select a default VCS which will be used by GPS when the projects do not define a VCS.
New plug-in autognatpp.py
A new optional plug-in is provided as an alternative to autoformat.py which will call gnatpp on each file save instead of calling the internal code reformatter.
New preference: Wrap around on next/previous
When using the 'Next Tag' and 'Previous Tag' actions/menus, this preference determines whether wrap around to the beginning should occur when reaching the end of the category.
Support for multi-unit files in project properties
It is now possible to manipulate multi-unit source files in the naming tab of the project properties editor
VCS sorting on status is now stable
GPS now ensures that the sort on VCS statuses is stable and that entries for files having the same status are sorted alphabetically on file base names.
New gprbind switch—gnatbind_path=
A new switch --gnatbind_path= is introduced, so that the proper gnatbind can be specified by the user, when it is not the one at the same location as the Ada compiler. In addition, when this switch is not specified and gnatbind is not found at the same location as the Ada compiler, gprbind now looks for gnatbind on the path.