We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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