Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Thursday February 25, 2010
Integrating static analysis with a compiler and database
In this article published in Embedded Computing Design, S. Tucker Taft looks at the advantages of integrating static analysis with a compiler and a database:
“Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.”
The full article can be found at:
http://embedded-computing.com/integrating-static-analysis-a-compiler-database
Posted in Ada / Ada 2005, Development Log
Wednesday February 24, 2010
[GNAT] Order of symbols in SALs on VMS
To allow the exported symbols of an extended Stand-Alone Library on VMS to be the same as the SAL being extended, the object files are now processed in increasing alphabetical order when looking for the exported symbols.
Posted in Development Log, GNAT Compilation System
Wednesday February 24, 2010
[GPS] Support for interfaces in completion
On completion like Iface., Iface being typed after an interface, all primitives will now be offered by the completion, even the ones coming from multiple inheritance.
Posted in Development Log, GPS
Wednesday February 24, 2010
[GPS] Completion for case inside record
Fields declared in a case statement inside a record are now offered in the list of completions.
Posted in Development Log, GPS
Tuesday February 23, 2010
[GNAT] New pseudo-random number generator
The packages Ada.Numerics.Discrete_Random and Ada.Numerics.Float_Random now use the Mersenne Twister generator which speeds up number generation on some platforms by up to a factor of 10 for 32-bit discrete types and a factor of 3 for single-precision float. The previous generators are still available as GNAT.MBBS_Discrete_Random and GNAT.MBBS_Float_Random. GNAT.Random_Numbers gives an expanded interface to the same generator.
Posted in Development Log, GNAT Compilation System
Monday February 22, 2010
[GPS] Custom Run/Build contextual menus
It is now possible through the Build->Settings dialog to tell GPS to add menus to build or run certain targets on the contextual menus for files and for projects.
Posted in Development Log, GPS
Friday February 19, 2010
[GPS] Partial navigation without compilation
GPS now provides a navigation mode working even when files are not compiled. This mode works on goto body from an entity declaration, goto declaration from an entity body, and on simple cases when trying to retrieve the declaration from any reference, using e.g. goto declaration or hyperlink.
Posted in Development Log, GPS
Thursday February 18, 2010
Open-DO Conference – spaces still left
AdaCore is the organizer of the Open-DO conference “Combining Formality with Agility for Critical Software Development”. This event brings together experts from the two fields and asks the question “Can Formality and Agility be combined?” to develop software that has to reach the highest levels of safety and security. Talks will examine the theoretical consolidation between these software development principles and industrial case studies will show how they are used in practice.
For more information and to sign-up (free of charge) for the event, please visit:www.open-do.org.
Posted in Ada / Ada 2005, Development Log
Thursday February 18, 2010
[GNAT] Improved -gnatR? output for large objects
The output of -gnatR? for large objects is now more accurate and can display values greater than 2**31.
Posted in Development Log, GNAT Compilation System
Thursday February 18, 2010
[GNAT] New switch –unchecked-shared-lib-imports
A new switch –unchecked-shared-lib-imports has been added to gnatmake and gnatclean. When this switch is used on the command line, shared library projects are allowed to import static library projects.
Posted in Development Log, GNAT Compilation System