AdaCore Labs in categories GNAT Pro

  • GNAT Pro for ARM processors

    The following is an overview of GNAT Pro Ada development environment support for ARM processors by Quentin Ochem at the GNAT Industrial User Day even

    Continue Reading »
    Cyrille Comar
    Jun 9th, 2014
  • 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.

    Continue Reading »
    Cyrille Comar
    Dec 20th, 2012
  • 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.

    Continue Reading »
    Thomas Quinot
    May 10th, 2012
  • 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.

    Continue Reading »
    Cyrille Comar
    Jan 23rd, 2012
  • 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:


    Continue Reading »
    Arnaud Charlet
    Jan 23rd, 2012