- ASIS-for-GNAT Reference Manual »
This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT Pro's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.
- ASIS-for-GNAT User’s Guide »
This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Pro Ada compiler.
- Tuesday Sep 1, 2015
AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2
- Tuesday Jul 21, 2015
AdaCore’s GNAT Pro Available for Wind River VxWorks 7
In the Press
- What’s the Difference Between Ada and SPARK?
Electronic Design | Nov 19, 2015
- What’s the Difference Between Secure Comms and Secure Systems?
Electronic Design | Oct 27, 2015