Jan 11 '19
Here are some recent updates to our Free Tools and Libraries page:
January 11, 2019: Added Protobuf for Ada, an interface to Google’s data interchange format.
Added ANTRL grammars for Ada, which has, well, a variety of ANTLR grammars for Ada.
December 18, 2018: Added Awesome Ada, a curated list of Ada resources.
Added JWX, a library for handling JSON data which was proved by SPARK.
Added Wayland Client library, a thick Ada binding to the Wayland Client API.
August 10, 2018: Added Ada Win32, bindings for the Microsoft Win32 API.
July 25, 2018: Added RCLAda, is an Ada 2012 client library for ROS2, a popular framework for robotics research.
July 20, 2018: Added Ada Bar Codes, a package for generating various types of bar codes,
along with a Gnoga display package.
Added VisualAda, a plugin for Visual Studio 2017 to support Ada development.
Added Libsimpleio, a library for low-level hardware access from Linux.
April 25, 2018: Added Ada WinRT, bindings for the Microsoft WinRT API.
Added FMT, a set of extension packages that turn Mathematica into a software
engineering IDE that generates formally-proven Ada source code.
November 15, 2017: Added LEA, a Lightweight Editor for Ada.
August 31, 2017: Added AdaYAML, an experimental library for handling YAML files.
(This post will be periodically updated – Webmaster.)
Oct 24 '18
in Electronic Design
A paper from VDC Research makes a compelling case that the Total Cost of Ownership of software developed in Ada is less than competing technologies, and that Ada projects are more likely to be on schedule.
Jun 5 '18
PTC has released version 10.0 of its PTC ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release introduces support for a substantial initial subset of Ada 2012 language features. It also supports development of
native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 development tools and libraries.
May 30 '18
in Intelligent Aerospace
This article discussed the continuing adoption of Ada in aerospace and unmanned vehicle applications.
May 24 '18
The PTC ApexAda v5.2 development system for Linux host-based development targeting Intel x86_64 processors running the ApexAda Exec bare-board runtime is now shipping. Included with the 64-bit embedded compiler is the PTC® ApexAda v5.2 64-bit compiler for Linux native application development. Also included is the integrated ApexAda 64-bit C/C++ compiler which facilitates seamless development of mixed-language applications written in Ada, C, and C++. ApexAda V5.2 Embedded compilers provide a complete cross-development toolchain hosted from Linux distributions including RedHat Enterprise Edition, CentOS, and SUSE.
May 23 '18
The University of Colorado’s Laboratory for Atmospheric and Space Physics (LASP) has selected the Ada language and AdaCore’s GNAT Pro for the ARM Cortex product for NASA’s Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder mission. CLARREO Pathfinder will deploy a Reflected Solar spectrometer on the International Space Station (ISS) starting in 2021 that will detect the complete spectrum of radiation from the Sun reflected by Earth.
May 15 '18
AdaCore has partnered with Blackberry to make GNAT Pro available for the Blackberry QNX operating system.
Apr 1 '18
in Accurate Ada News
The several new features for the Ada language have been approved. Included is a new assertion policy and a new pragma intended to improve the safety of Ada code.
Mar 20 '18
The author discusses using Ada and SPARK to create a hybrid verification environment, where some of the code is proved with SPARK and the rest is tested traditionally.