May 7 '14
Here are some recent updates to our Free Tools and Libraries page:
May 7, 2014: Added Mathpaqs, libraries for various math operations in Ada.
March 25, 2014: Added ASISXML, a tool for converting the ASIS representation of an Ada unit into XML.
March 17, 2014: Added Adaino, a toolset for developing Ada applications on Arduinos.
February 20, 2014: Added Rosetta Code; not quite a library but a source of Ada examples and algorithms.
December 10, 2013: Added Deepend storage pool and Muen separation kernel.
(This post will be periodically updated – Webmaster.)
Apr 25 '14
Michael Silva discusses using Ada 2012 on the ARM Cortex M3/M4 microcontroller.
Apr 1 '14
AdaCore today announced the release of its latest Ada cross-development environment, GNAT Pro 7.2, for ARM Cortex processors running Android. This GNAT Pro product, hosted on Windows and Linux, comprises a complete Ada toolsuite for developing and maintaining Android applications using a mixture of Ada and Java. Developers can now exploit the software engineering benefits of the Ada language, while also taking advantage of the Java libraries and services provided by the Android platform. Applications can also be written solely in Ada, or in a combination of Ada and other “native” languages. Android 2.3 and later versions are supported, on Cortex A8 and above.
Apr 1 '14
AdaCore today announced a new target platform for the latest version of its GNAT Pro Safety-Critical Ada Development Environment. Hosted on Windows workstations, GNAT Pro Safety-Critical V7.2 is now targeted to the LynuxWorks LynxOS-178 V2.2.2 RTOS for PowerPC, and supports both ARINC-653 APEX partitions and POSIX pthreads. GNAT Pro Safety-Critical includes the standard GNAT Pro components – the GNAT Programming Studio (GPS) and GNATbench IDEs and accompanying toolset – along with specialized tools and run-time libraries oriented towards applications that have to meet demanding software safety standards, such as DO-178B or DO-178C for avionics. With GNAT Pro Safety-Critical for LynxOS-178, developers who need to deliver high-assurance applications on this LynuxWorks RTOS now have an integrated and full-functioned toolsuite that implements all versions of the Ada language, including Ada 2012, and is backed by AdaCore’s expert support.