Skip to content

History

Revisions

  • Updated Home (markdown)

    @ailrst ailrst committed Aug 20, 2024
    07d55fc

  • Updated Development (markdown)

    @ailrst ailrst committed Sep 11, 2023
    0c5ac2f

  • Updated Program Structure (markdown)

    @l-kent l-kent committed Sep 11, 2023
    3f55aef

  • Created cntlm example (markdown)

    @ailrst ailrst committed Sep 6, 2023
    6c94359

  • Updated Program Structure (markdown)

    @ailrst ailrst committed Aug 30, 2023
    b81c7d0

  • Updated Home (markdown)

    @ailrst ailrst committed Aug 30, 2023
    3838a7e

  • Updated Dot Files (markdown)

    @Thomas-Malcolm Thomas-Malcolm committed Jul 21, 2023
    a031c2c

  • Some design choices for CFG documented

    @Thomas-Malcolm Thomas-Malcolm committed Jul 21, 2023
    772e773

  • CFG construction documented

    @Thomas-Malcolm Thomas-Malcolm committed Jul 20, 2023
    536e23d

  • Dot files for edges and node hierarchy graphs added

    @Thomas-Malcolm Thomas-Malcolm committed Jul 20, 2023
    6fbd85d

  • CFG nodes and edges documented

    @Thomas-Malcolm Thomas-Malcolm committed Jul 20, 2023
    d62125f

  • Fixed terminology

    @Thomas-Malcolm Thomas-Malcolm committed Jul 3, 2023
    ad1b7da

  • Added TODOs for CFG and Analyses

    @Thomas-Malcolm Thomas-Malcolm committed Jul 3, 2023
    0cc0127

  • Merge branch 'master' of github.com:UQ-PAC/bil-to-boogie-translator.wiki

    @Thomas-Malcolm Thomas-Malcolm committed Jul 3, 2023
    6824fd0

  • IR Statements documented

    @Thomas-Malcolm Thomas-Malcolm committed Jul 3, 2023
    d54532b

  • More IR documented

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    69b027b

  • Fixing links

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    dd2e8cc

  • Fixing links

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    00b0d90

  • Translator process documented.

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    90789fe

  • Added other dot files

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    a7c284a

  • Porting parser notes over to

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    05a43d0

  • Restructured wiki, backing up Tom Le's notes on parser before porting to

    @Thomas-Malcolm Thomas-Malcolm committed Jun 30, 2023
    69255c0

  • Created Examples Verification Status (markdown)

    @l-kent l-kent committed Apr 11, 2023
    7dc1da7

  • Updated Getting Started with Development (markdown)

    @tomdx tomdx committed Jun 28, 2022
    79bb781

  • Updated Getting Started with Development (markdown)

    @tomdx tomdx committed Jun 28, 2022
    c17b594

  • Typo

    @tomdx tomdx committed Jun 28, 2022
    19965af

  • Add additional notes

    @tomdx tomdx committed Jun 24, 2022
    0d48d14

  • Refactor into pre-cleanup merge and post merge tasks

    @utting utting committed Jun 14, 2022
    2669766

  • Updated Home (markdown)

    @utting utting committed Jun 14, 2022
    75a63e3

  • More TODO items

    @utting utting committed Jun 14, 2022
    2ffc3f1