Developer Center |
|
Monday March 8, 2010
Ada Gem #81 — A previous Gem (#70, “The Scope Lock Idiom”) discussed the occasional necessity of using low-level synchronization mechanisms instead of the higher-level protected object construct. The code in that Gem referenced the facilities of the Semaphores package located in the GNAT hierarchy. In this Gem, we examine the abstractions provided by that package, focusing especially on the design choices.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Tuesday March 2, 2010
The GNAAMP compiler now generates more efficient code sequences for indexing of packed arrays with component sizes of 1, 2, and 4 bits.
Posted in Development Log, GNAT Compilation System
Thursday February 25, 2010
Ada Gem #80 — This Gem covers a topic that I recently encountered
while working on a crypto algorithm in SPARK: how
to use Ada’s predefined shift and rotate functions
with modular types from a SPARK program.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Thursday February 25, 2010
The outline and smart completion will now work correctly even when the user is in the process of writing use and with clauses, and the file is parsed before the clause is completely written.
Posted in Development Log, GPS
Thursday February 25, 2010
When compiling, icons that propose automatic code fixing appear on the side of the source editors, in addition to the Locations View.
Posted in Development Log, GPS
Thursday February 25, 2010
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
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
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
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
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