Channels ▼   GNAT Pro 6.2 Released  AdaCore has released GNAT
Pro 6.2, the latest addition to its GNAT Pro Ada development
environment. The new release is now available on 18 native and
28 cross platforms. It offers over 130 new features, including
increased support for code coverage and source-to-object
traceability, which are important for safety-critical and high-
reliability application development.  As a general upgrade to
the underlying technology, the GNAT Pro compiler back end is now
based on GCC 4.3, which brings improved code generation, and the
debug engine is now based on GDB 6.8, which provides better
debugger performance. Complementing these enhancements are
specific features including a more efficient implementation of
stack checks, overflow checks, and validity checks, and new
attributes and pragmas for use with generics. GNAT Pro 6.2 also
includes features for associating pre- and post-conditions with
subprograms and for selectively enabling or disabling groups of
assertions.  Several existing