GNAT Pro 7.1 preview

The next major version of GNAT Pro (7.1.1) will be release in Q1 2013. It provides new language features, introduces new tools and new versions of existing tools, incorporates a range of improvements (many based on user suggestions), and adds several new platforms.

TCP/IP stack for high-integrity systems

Over the last few months AdaCore has been working on developing a TCP/IP stack suitable for use in high-integrity systems. Technical details are provided below. For more information on commercial support please contact info@adacore.com.

ParaSail now part of the AdaCore technology family

As part of the merger with SofCheck, a new parallel programming language called ParaSail is now part of the AdaCore technology family.  ParaSail stands for "Parallel Specification and Implementation Language," and is a marriage of formal methods and parallel programming.  

GNAT Pro 7.0 Upcoming Release

The next major release of the GNAT Pro Ada Development Environment will provide complete Ada 2012 support as well as new or improved features in several areas.

GNATtest

GNATtest

The new GNATtest tool helps create and maintain a complete unit testing infrastructure for complex projects. Based on AUnit, it captures the simple idea that each visible subprogram should have at least one corresponding unit test. GNATtest takes a project file as input, and produces two outputs:

CodePeer 2.1 Upcoming Release

The next release of the CodePeer automated code review and analysis tool will provide a variety of enhancements, including full support for Ada 2012, detection of uninitialized global variables, more precise preconditions, more extensive analysis for race conditions, improved support for access-to- subprogram types, and improved handling of unused assignments.