An Ada frontend for CBMC. Named thus because it is implemented as a backend for the GNAT Ada Compiler (see also: AdaCore), that produces a GOTO program (the internal program representation of CBMC) in JSON format.

For instructions on building the project, see gnat2goto/COMPILING.md

For an overview of the project, see the Wiki