macos-sdks-vs-gcc

github.comtool

Provides GCC 'specs' files to cope with SDK policy changes.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   acats github.com

   The Ada Conformity Assessment Test Suite, customised for GCC.

   tool link ↗
   
2. ▲

   gprbuild github.com

   Adacore multi-language software build tool.

   tool topic programming link ↗
   
3. ▲

   cmake-ada-offa github.com

   Ada language support for CMake.

   tool link ↗
   
4. ▲

   spark-2014 github.com

   SPARK formal verification toolset.

   tool link ↗
   
5. ▲

   testy github.com

   Ada testing framework, part of Tada.

   tool link ↗
   
6. ▲

   Athena Spec github.com

   Common/helpful Spec compliant testing utilities

   tool link ↗
   

Ada/SPARK › Libraries > Utilities: “Provides GCC 'specs' files to cope with SDK policy changes.”