The Predefined Library

This post lists the units in the Ada 95 predefined library, and indicates whether a unit is supported or not. The answer “Yes” means the unit is supported in the default profile, and maybe in the other profiles. The answer “Restricted…” means the unit is not supported in any profile because of a built-in restriction.

Read more

Beagle 2

“Mars Express launched from Baikonur on 2 June 2003, at 17:45 UTC (18:45 BST). Beagle 2 was a Mars lander initially mounted on the top deck of the Mars Express Orbiter. It was released from the Orbiter on a ballistic trajectory towards Mars on 19 December 2003 at 8:31 UT. Beagle 2 coasted for six days after release and was […]

Read more

Restrictions

This note defines how the Ada 95 restrictions, accessible through the pragma Restrictions, are supported. Unsafe features such as run-time dispatching and heap management are not supported in the run-time system, so all the restrictions that are relevant for these features are set to True by default.

Read more

Key Characteristics

Note: originally posted year 2000. ERC32 Ada has a compact high-performance run-time system that is considerably smaller and faster than others we have evaluated. Some time ago, we looked at another GNAT-based compiler using the RTEMS real-time kernel and compared its performance with ERC32 Ada. The results are summarized in this report. The information was prepared December 1999 in response […]

Read more