Atomic

Standalone Ada/SPARK bindings to GCC atomic built-ins

Website
Author: Fabien Chouteau
Maintainer: Fabien Chouteau <chouteau@adacore.com>
License: MIT
Version: 0.2.0
Dependencies: No dependency.
Tags: atomic spark embedded nostd
Badge: