EDA Blog - electronic design automation, embedded systems, ic

Share/BookmarkSubscribe

AdaCore GNAT Pro Ada 6.3

Posted by Ken Cheung in IDE on Tuesday, February 9, 2010

AdaCore launched version 6.3 of their GNAT Pro Ada development environment. GNAT Pro 6.3 now supports 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). It offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool. GNAT Pro 6.3 is available now.

GNAT Pro Ada 6.3 New Features

  • New version of the GNAT Programming Studio (GPS) IDE, GPS 4.4.1
  • Improved download interface in AdaCore’s GNAT Tracker support tool
  • Support for 64-bit code generation on Windows
  • Support for Windows 7
  • Improvements to Tools
    • Pretty printer (gnatpp)
    • Coding standard verifier (GNATcheck)
    • Stack size analyser (GNATstack)
    • Unused dispatching subprogram elimination (gnatelim)
    • More flexible project handling
    • More efficient gnatmake and gprbuild
    • C and C++ binding generation
  • Compiler and Debugger Enhancements
    • Many additional warnings
    • More flexible enabling/disabling of warnings
    • Faster Unbounded_String implementation
    • Removal of redundant run-time checks
    • Support for Ada 2012 conditional expressions
    • Code generation (speed and size) improvements
    • More compact debugging information
    • Improved interfacing with C++

More information: AdaCore

Related Posts with Thumbnails
 
EDA Blog Newsletter
Don't have time to visit EDA Blog everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.

Enter your email address to sign up for our free newsletter:  

If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.