web analytics
Newspapers

 
Categories: Compiler

GCC 12.0.1 build on Mac OS-X 10.11 El Capitan, compatible SPARK2014

GNAT (FSF) ~ GCC 12.0.1 of 20220128 (only Ada, C, C++, built on Mac OS-X El Capitan, runs up to macOS 12 Monterey).
Compilers included: Ada, C, C++.
GNAT (FSF) Available on Simon’s GitHub

SPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Needs GCC 12.0.1 installed.
SPARK2014 Available on Simon’s GitHub

EEC GDPR compliant