AdaCore Labs

  • 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
  • AdaCore Roadmap September 2013

    The following is an AdaCore technology roadmap presentation from the GNAT Industrial User Day event in September 2013.

    Continue Reading »
    Arnaud Charlet
    Jun 9th, 2014
  • GNAT Pro 7.2

    The next major release of the GNAT Pro toolsuite will incorporate more than 120 new features, including Ada 2012 mode enabled by default, many new warnings and improved diagnostics, code generation optimizations, support for symbolic traceback in shared libraries, and improved cross Ada/C++ exception handling. GNAT Pro 7.2 will also introduce two new tools:

    Continue Reading »
    Cyrille Comar
    Nov 7th, 2013
  • CodePeer 2.3

    The next release of the CodePeer automatic code review and validation tool will include its own GNAT front-end (which can be installed independently of GNAT Pro), improved support for legacy Ada (83) code, message review capabilities via pragma Annotate, more precise messages and fewer “false positives”, new warnings when a formal parameter could be declared with a more restrictive mode, support for floating point overflow on unconstrained types, support for IEEE floating point semantics, and improved GPS and GNATbench integration. The product will be available during Q1 2014.

    Continue Reading »
    Arnaud Charlet
    Nov 7th, 2013
  • GNATdashboard

    GNATdashboard is a new visual tool that supports quality assurance activities, integrating and aggregating the results of AdaCore’s many static and dynamic analysis tools within a common interface. Supplied as a plug-in to the open source SonarQube code quality management platform, GNATdashboard fits in naturally with a software development team’s workflow by using project files to configure, run, and analyze the output from AdaCore tools. A driver program processes data such as compiler warnings, CodePeer diagnostic messages, style check violations, and coverage data, and makes it available for reference and analysis through the web-based SonarQube application. Developers can thus quickly obtain up-to-date information, logically organized and presented, concerning the various quality factors associated with their project. A beta release will be available in Q1 2014.

    Continue Reading »
    Nicolas Setton
    Nov 7th, 2013
  • GNAT Pro for Android

    A GNAT Pro release for Android-based ARM targets is planned for Q3 2013, and a pre-release is available now, supporting applications that are completely in Ada or that combine Ada and Java (for example using Java for the GUI and Ada for the computational logic).  Extensive support is currently available in GNATbench 2.7 for this mixed language approach, including automatic Java binding code generation via AJIS, the Ada Java Interfacing Suite.

    Continue Reading »
    Arnaud Charlet
    Jun 18th, 2013
  • GNAT Tracker 3.0

    AdaCore is currently working on a new version of the GNAT Tracker customer server. Based on customer feedback the new version (available later in 2013) will offer an improved and more customizable interface. It will also take advantage of modern design capabilities and support tablets and mobile devices. 

    Continue Reading »
    Emmanuel Briot
    Jun 18th, 2013
  • SPARK Technology

    As part of the HI-Lite project, major enhancements have been made to the SPARK language and toolset. The new SPARK 2014 language is both richer and more flexible, and exploits the Ada 2012 contract-based programming features. 

    Continue Reading »
    Yannick Moy
    Jun 18th, 2013
  • 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
  • ParaSail now part of the AdaCore technology family

    As part of the merger with SofCheck, a new parallel programming language called ParaSail is now part of the AdaCore technology family.  ParaSail stands for "Parallel Specification and Implementation Language," and is a marriage of formal methods and parallel programming.  

    Continue Reading »
    Tucker Taft
    Mar 2nd, 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
  • CodePeer 2.1 Upcoming Release

    The next release of the CodePeer automated code review and analysis tool will provide a variety of enhancements, including full support for Ada 2012, detection of uninitialized global variables, more precise preconditions, more extensive analysis for race conditions, improved support for access-to- subprogram types, and improved handling of unused assignments.

    Continue Reading »
    Arnaud Charlet
    Jan 23rd, 2012