WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
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