AdaCore - The GNAT Pro Company » Development Log

[GNAT] Speed up gnatmake in presence of extending projects

AdaCore — Tue, 07 Feb 2012 12:00:00 +0000

The check in gnatmake to verify if an object file is in the correct object directory in the presence of extending projects has been optimized, as it was taking a considerable amount of time when there were many sources.

Introducing CodePeer 2.1

AdaCore — Sat, 04 Feb 2012 07:40:09 +0000

April 10, 2012 – 4:00pm GMT, 5:00pm CET, 11:00am EST

CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. This webinar, presented by Tucker Taft, will provide an overview of the technology, and focus on the new features introduced in this latest 2.1 release. These include support for Ada 2012 and its new syntax for specifying contracts, analysis of the elaboration of library units to enable detection of uninitialized global variables, better support for analysis of race conditions including new GPS reports, and more precise handling of preconditions and unused assignments. Presented by Tucker Taft, we will also allow for a Q&A session at the end of the presentation.

To register, please visit:
http://www.adacore.com/home/products/codepeer/toolset/webinars/

Unit testing with GNATtest webinar

AdaCore — Sat, 04 Feb 2012 07:35:38 +0000

March 20, 2012 – 4:00pm GMT, 5:00pm CET, 12:00am EST

The InSight webinar series continues with a webinar demonstrating how to write unit tests in a cost-effective way using the AdaCore toolset. More precisely it will show how to generate the unit testing framework using GNATtest, how to run the tests on an emulator such as GNATemulator, and how to extract coverage results using GNATcoverage. This is primary aimed at developers and projects managers that already have unit testing infrastructure in place and are looking to reduce maintenance costs, as well as teams that are looking at implementing such techniques with minimal effort.

To register please visit:
http://www.adacore.com/home/products/gnatpro/webinars/

[IDE] GPS: Coverage Report accessible through Back button

AdaCore — Thu, 02 Feb 2012 12:00:00 +0000

When clicking on a file or subprogram in the Code Coverage report, GPS open this location in an editor, and it is now possible to click the "Back" button in the toolbar to go back to the Code Coverage report.

[SPARK] Unmoded globals permitted with flow=auto

AdaCore — Wed, 01 Feb 2012 12:00:00 +0000

Previously, the Examiner enforced the rule that global annotations on procedures must always specify variable modes when in automatic flow analysis mode. This rule has now been relaxed, so modes may be omitted from globals if there is a derives annotation present. The Examiner will then infer the modes from the derives annotation as it does in information-flow mode. This means that legacy code with derives annotations and unmoded globals can be analysed with flow=auto.

[IDE] GPS: multi-line option in MDI.input_dialog

AdaCore — Wed, 01 Feb 2012 12:00:00 +0000

The GPS function MDI.input_dialog used in plug-ins has been enhanced and now offers multi-line input on fields as an option.

[PolyORB] Process ids in traces

AdaCore — Wed, 01 Feb 2012 12:00:00 +0000

Process IDs can now optionally be included in trace messages logged to standard error. This feature is enabled by setting "pid=true" in section [log] of the PolyORB configuration.

[GNAT] Debugger condition support in exception catchpoints

AdaCore — Tue, 31 Jan 2012 12:00:00 +0000

The debugger has been enhanced to support the use of conditions attached to exception catchpoints.

[GNAT] Avoid obsolescent feature messages for instances

AdaCore — Tue, 31 Jan 2012 12:00:00 +0000

When restriction No_Obsolescent_Features is used, the use of an obsolescent feature in a generic template results in a diagnostic only when compiling the template, and not when compiling instantiations of the generic.

[SPARK] Miscellaneous updates to Victor

AdaCore — Tue, 31 Jan 2012 12:00:00 +0000

We have fixed a number of small issues with victor wrapper: timing information is now correctly stored in the .vct files; temporary files are now correctly deleted; temporary files can be placed in the current working directory and not deleted using the new -keep flag; and finally, experimental support for CVC4 has been added.