Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday June 29, 2009
Gem #68: Let’s SPARK! - Part 1
Ada Gem #68 — Please note that this is the final Gem before we break for summer. The series will resume on September 7, 2009.
In this Gem and the next one, we present a simple walk-through of SPARK’s capabilities and its integration with GPS. In this first Gem, we show how to set up a SPARK project and prove that your SPARK programs are free from uninitialized variable accesses and that they execute without run-time errors.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Thursday June 25, 2009
[GNAT] Linker map now contains size of discarded sections
The size of each discarded section is now printed in the linker map. This concerns only platforms where AdaCore provides a linker (GNU/Linux x86 and x86-64, Windows and ppc-elf platforms).
Posted in Development Log, GNAT Compilation System
Wednesday June 24, 2009
[GPS] New action to toggle auto-casing on/off
GPS provides a new action called "Toggle Auto Casing/indentation" which toggles the auto-casing. When using On-The-Fly casing it is more convenient to use this sticky action (via its associated key shortcut, alt-q by default) instead of the action which disables casing for a single character only.
Posted in Development Log, GPS
Tuesday June 23, 2009
[GNAT] More straight-line code generated for arrays
The compiler now generates more straight-line code for the manipulation of arrays with dynamic bounds when it can infer properties for these bounds.
Posted in Development Log, GNAT Compilation System
Sunday June 21, 2009
[GNAT] Implement -gnateS switch for output of SCOs
A new switch for the compiler -gnateS causes the compiler to output SCO (source coverage obligation) information to the ALI file. This information is used by advanced coverage tools now being implemented. For details of the format of SCO information, see the compiler unit SCOs (scos.adb/ads).
Posted in Development Log, GNAT Compilation System
Wednesday June 17, 2009
[GNAT] Revised warnings for certain unreferenced entities
The warning messages issued for unreferenced packages, exceptions, labels, and formal objects now explicitly mention the form of entity (for example, "warning: package "My_Pkg" is not referenced"). This allows selective warning suppression for these specific entity kinds using pragma Warnings with a message pattern (pragma Warnings (Off, "package*is not referenced")).
Posted in Development Log, GNAT Compilation System
Monday June 15, 2009
Gem #67: Managing the GPS Workspace
Ada Gem #67 — GPS has a multitude of views and editors, several of which may be displayed
on the screen at the same time. It is based on a very flexible desktop that
helps you organize these windows the way you prefer. This Gem describes some
of the lesser-known aspects of the GPS desktop.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Monday June 15, 2009
[GNAT] New pretty printer switch to control label layout
A new switch –separate-label for gnatpp specifies that statement label(s) and the statement itself should be placed on separate lines.
Posted in Development Log, GNAT Compilation System
Sunday June 14, 2009
[GPS] Debug->Add Symbols asks for module’s address
The Debug->Debug->Add Symbols… menu now also asks for the module’s address to be given to gdb.
Posted in Development Log, GPS
Thursday June 11, 2009
GNATbench 2.3 webinar
We still have places available for the upcoming GNATbench webinar.
AdaCore has recently introduced GNATbench 2.3.0. This release introduces many new features including preference control for “Quick Fix” for Ada, Eclipse “feature” deployment, and builder enhancements. This webinar will describe and demo some of the new features introduced in 2.3.0. As always, we will allow a question and answer session at the end enabling you to talk directly with the designers of GNATbench. This webinar will appeal to Ada developers that are using, or are interested in using, GNAT Pro and the Eclipse development environment in their projects.
To register, please visit:
http://www.adacore.com/home/products/gnatpro/webinars
Posted in Development Log, GNATbench