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
Monday March 8, 2010
[GNAT] gnatxref switch –ext=
A new switch –ext=xxx is provided in gnatxref in order to specify an alternate file extension for ALI files.
Posted in Development Log, GNAT Compilation System
Monday March 8, 2010
[GPS] Filters when completing variables & parameters
When completing a variable or parameter type, the completion will only offer package and type names.
Posted in Development Log, GPS
Friday March 5, 2010
[GPS] Better external run under Windows
Under Windows, running commands under an external terminal now keeps the terminal open after execution.
Posted in Development Log, GPS
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
Saturday February 27, 2010
[PolyORB] Allow CORBA.Any to be used at library level
Objects of CORBA.Any type can be declared at library level now, and be elaborated before initialization of ORB.
Posted in Development Log, PolyORB
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