GOTO Transcoder

This project is still in early development stages. The goal here is to have a tool that facilitates visualizing and changing GOTO programs generated from ESBMC and CBMC by:

• Parsing the GBF (goto binary format?) from ESBMC and CBMC
• Writing into GBF to ESBMC/CBMC. Allowing to convert between both versions.

Check the wiki for use examples.

Contributing

• Architecture
• Development