- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Ada Web Server
Jan 28th, 2009
Simplify empty SOAP responses
When no type information is present, empty SOAP responses are now returned as a null string instead of a null record.
Jan 27th, 2009
New format for stack usage report
The stack usage report (generated with the binder -u option) has a more user-friendly format. It now reports expected (theoretical) stack usage and possible variations from the measurement.
Support for windows-1251 encoding
XML files can now be encoded with windows-1251.
Support for x86_64 / Mac OS X
GPS 4.3.2 is supported on Mac OS X (Leopard) with 64-bit capable Intel processors.
Jan 20th, 2009
.NET delegates handling of instance methods
Cil2ada and the .NET compiler now support the creation of CIL delegates from an object and its instance method.
Minor improvements in GNATCheck integration
The GNATCheck rules editor menu has been renamed, and the rules editor now lets you choose whether you want to see the resulting file after exiting the editor.
Complete gnatpp switches in the project editor
GPS now handles the newer gnatpp switches in the 'Pretty Print' page of the project editor.
Fixing “abstract must come before new”
An automatic fix is now proposed for "abstract must come before new" error messages.
Jan 17th, 2009
More compact debugging information
The size of the debugging information generated by the compiler has been reduced on almost all platforms by eliminating redundant bits. The typical size reduction at -O0 is 10% for large applications.
A new gprbuild/gprclean switch --unchecked-shared-lib-imports is created. When this switch is used (on the command line only), shared library projects are not restricted to import only other shared library projects.
New multi-language builder preference
The multi-language builder preference can now be set to 'gnatmake' to force the use of gnatmake, even for multi-language projects.
Jan 1st, 2009
Specification of report file name in gnatcheck
A new gnatcheck option '-o' is implemented which allows specification of the name of the gnatcheck report file.