GNAT Pro 7.3.1
GNAT Pro 7.3.1 has upgraded the backend (GCC 4.9) and debugging technologies (GDB 7.8) and incorporates over 175 new features. These include improved diagnostic messages and warning configuration, extended support for non default endianness, a math library on bare board platforms, support for large files on 32bits systems, improved support for inlining, overflow checks enabled by default, enhanced code generation and debugging capabilities.
In addition, most GNAT Pro tools now support aggregate projects. Parallel and incremental processing has been also added to many tools (e.g. gnat2xml, gnatmetric, ...), and support for stubbing units has been added in GNATtest.