adacore roadmap (sep 2013)

Slide: 1Copyright © 2013 AdaCore

Arnaud Charlet

GNAT Industrial User Day – September 25, 2013

AdaCore Roadmap for 2013-2015


Product Roadmap - 2013

October

GPS 6.0.0

November

GNATbench 2.8.0

• Improved support for WRS WorkBench

• Eclipse 4.3 and WRS WorkBench 3.4 support

• New source navigation engine

• Improved CodePeer support

GNAT Pro 7.2.0 beta

SPARK Pro 11.1, 14.0 beta


Product Roadmap – GNAT Pro 7.2

120+ new features

Ada 2012 enabled by default

Many new warnings and improved diagnostics

• Including tagging of warnings via –gnatw.d

SPARK 2014 related constructs (new aspect, attributes)

Code generation optimizations

Support for symbolic traceback in shared libraries

Improved cross Ada/C++ exception handling

GNAT Pro 7.2.0November

GNAT Pro 7.2.1February

GNAT Pro 7.2.2July

2013 2014

GNAT Pro 7.3.0NovemberBeta

BetaMinor

Major



New tool: gnat2xml

• Generate XML files from Ada sources

• Useful to write Ada analysis tools in any language quickly

• Not as powerful as a full ASIS API

Re-engineered version of gnatpp

• Designed to be more reliable

• Improved layout

• Better long term maintenance and evolutions

GPRbuild 2.1

• Support for distributed builds

• Support for parallel bind and link

• Additional switches recognized in project files



GNAT Pro 7.2.2July

2013 2014


BetaMinor

Major



New ports/OS

• ARM Bare Board, Linux, VxWorks 6, Android

• x86 VxWorks 6 Cert

• PowerPC Lynx178

• Windows 8

OS Baseline

• IA64 HPUX

• Alpha OpenVMS

• AIX 5.3

• Solaris 8



GNAT Pro 7.2.2July

2013 2014


BetaMinor

Major


Product Roadmap – February 2014

CodePeer 2.3

• Package now comes with its own GNAT front-end

• Improved support for legacy Ada (83) code

• Message review possible via pragma Annotate

• More precise messages, reduced false positives

• New warnings when parameters could have restricted mode

• Support for floating point overflow on unconstrained types

• Support for IEEE floating point semantic

• Improved GPS and GNATbench integrations

GNAT Tracker 3.0


Product Roadmap – February 2014

GNATcoverage 1.2.1

• Support for full run-time

• Coverage for generic instances

• Support for Ada 2012

• Support for native linux (x86 and x86_64)

• Support for Nexus probe

• Improved HTML output

• Beta support for C language

GNATemulator 1.4.1

• Support for VxWorks 6 Cert

• Windows and Linux hosts

• PPC, e500v2


Product Roadmap - 2015

GNATdashboard

• Beta program February 2014

• Official release February 2015

GNATdoc

• Improved version

• Many more formats of tags supported (e.g. doxygen tags)

• Extracted from GPS, as a command line tool

• Support for PDF generation

GNAT Pro 7.3

• Transition to GCC 4.9 back-end

CodePeer 2.4

• DO 178C qualification

• Backtrace on messages to give more details

• Detection of dangling references

• UI improvements

adacore roadmap (sep 2013)

Technology