Safety in numbers
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“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 moreA function might be simple or it might be complex. And while a simple function might be obviously correct, a complex function might need hundreds of tests to demonstrate its correctness.
Read moreThis 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 moreBenchmark programs are used by compiler vendors as a standard for compiler assessment, and are selected to cover interesting aspects of the compiler and target computer. We use Ackermann, Sieve and Whetstone.
Read moreNote: 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