Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map

Developer Center

rss feed
Welcome to the AdaCore Developer Center, the place to get the latest GNAT Pro technology news and resources such as technical papers, live docs and expert tips on programming in Ada.

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 by 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 by 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 by 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 by 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 by 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 by 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 by 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 by 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 by 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 by Posted in Development Log, GNAT Compilation System