Skip to content

Home

Jump to bottom
Hannes Steffenhagen edited this page Nov 13, 2018 · 5 revisions

GNAT2GOTO

General project structure:

  • gnat2goto is where the actual compiler code is located
  • testsuite integration tests to make sure GNAT2GOTO can compile certain files and produce output that can be understood by CBMC
  • irep_utils and standalone_test are vestigial and will be removed
  • experiments Contains scripts to run gnat2goto against real ada projects to collect data about language features are currently missing or whose implementation icongaints bugs
Clone this wiki locally