spark
Software development for high-reliability applications
SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements.
homepage ↗ github: AdaCore/spark2014
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 2024.01.11-r2 | 1 | 14 h | details › |
Versions & arches
Use flags of 2024.01.11-r2
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- ada_target_gcc_12
- ada_target_gcc_13
- ada_target_gcc_14
- ada_target_gcc_15
- ada_target_gcc_16