Website:

Author:

Maintainer:

• chouteau@adacore.com

License:

GPL-3.0-or-later

Version:

13.2.1

Alire CI:

Dependencies:

No dependency.

Dependents:

• elevator
• hirtos
• hirtos_separation_kernel
• program_proofs_in_spark

Badge: