Home | Contact | Pricing | News | 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

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 by 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 by 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 by 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 by 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 by 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 by 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 by 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 by 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 by 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 by Posted in Development Log, GNATbench