Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Tuesday February 16, 2010
[GNAT] Better warnings for System.HTable and System.CRC32
The warnings given for withing System.HTable or System.CRC32, are improved to suggest using GNAT.HTable or GNAT.CRC32 instead (before a generic message about possible non-portability was given).
Posted in Development Log, GNAT Compilation System
Tuesday February 16, 2010
February Find The Bug Challenge
In order to demonstrate the scope of CodePeer’s code analysis capabilities we thought we’d have a little fun and each month post a simple piece of code that contains a few tricky bugs, so that you can measure your bug-finding capacities to those of CodePeer.
This Month’s Challenge
This code defines a function Cruise.Control which computes a mode for automatically controlling a car speed, given the information provided by sensors on the position and speed of surrounding vehicles. The mode distinguishes various levels of breaking and speeding.
To see CodePeer in action please click here.
Posted in Ada / Ada 2005, Development Log
Monday February 15, 2010
[GPS] Support for generic parameters
Generics parameters are now supported in the Ada outline view and smart completion.
Posted in Development Log, GPS
Monday February 15, 2010
[AWS] Updated Web_Block context accessible
It is now possible to query the updated context in the Web_Block framework. This make it possible to do specialized actions after rendering a Web page (i.e. after evaluating all the web blocks).
Posted in AWS, Development Log
Sunday February 14, 2010
[GNAT] Better casing of identifiers in error messages
The casing of identifiers in error and warning messages now matches that used in the actual source program where possible, instead of using the default casing style for the whole program.
Posted in Development Log, GNAT Compilation System
Friday February 12, 2010
[GNAT] Support for empty PATH elements in exec localizers
For run-time services that need to locate an executable, such as exception traceback symbolizers, recognition of empty PATH elements to denote the current directory is now available on all the relevant platforms.
Posted in Development Log, GNAT Compilation System
Friday February 12, 2010
[GNAT] Mod attribute now recognized in Ada 95 mode
The Ada 2005 attribute ‘Mod is now recognized as an implementation-defined attribute in Ada 95 mode.
Posted in Development Log, GNAT Compilation System
Friday February 12, 2010
[GNAT] gnatbind -R generates files
If gnatbind is called with switch -R, to list the sources in the closure of the main, the binder generated files are now generated. Previously this was not the case and a separate bind step was required to generate these files.
Posted in Development Log, GNAT Compilation System
Friday February 12, 2010
[GNAT] No duplicate library names
The Project Manager now detects if two library projects that do not extend each other have the same library name, and fails if they do.
Posted in Development Log, GNAT Compilation System
Thursday February 11, 2010
[GPS] Support for assembler language
The project editor now supports adding assembler language for use by GPRbuild during compilation and builds.
Posted in Development Log, GPS