Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday March 8, 2010
Gem #81: GNAT Semaphores
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
[GNAT] More efficient packed array indexing on AAMP target
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
Gem #80: Speedy Shift and Rotate in SPARK
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
[GPS] Better handling of incomplete with/use clauses
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
[GPS] Quick fix icons on the side of editors
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
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