ada-runtime

The Generic Ada Runtime is a downsized Ada runtime that can be adapted to different platforms, offering a tradeoff between complexity and useful features. It provides essential runtime support for Ada programming in constrained environments like embedded systems.

Key Features

• Secondary Stack — SPARK-proven safety with no runtime errors and safe program abort on stack overflow, underflow, or invalid stack count.
• 64-bit Arithmetic — SPARK-proven addition and subtraction with overflow checks, ensuring no runtime errors and correct operations.
• Exception Support — Limited to throwing exceptions with a last-chance handler, without catch mechanisms.
• Platform Adaptability — Supports platforms including Posix/Linux, Genode, nRF52832, STM32F051, and ESP8266 on Arduino.
• Minimal Feature Set — Designed as a tradeoff between complexity and useful features for embedded and specialized use cases.

Philosophy

The runtime prioritizes minimalism and adaptability, providing a streamlined feature set that balances complexity with essential functionality for diverse platforms.