There was an error while loading. Please reload this page.
Updated Home (markdown)
CFG nodes and edges documented
Merge branch 'master' of github.com:UQ-PAC/bil-to-boogie-translator.wiki
More IR documented
Fixing links
Translator process documented.
Restructured wiki, backing up Tom Le's notes on parser before porting to
Add additional notes
Refactor into pre-cleanup merge and post merge tasks
More TODO items
Add basic architecture information about the parser (unfinished)
Add architecture
trivial change
Initial Home page