Permalink
Commits on Aug 10, 2018
  1. [phiplacement] Explicitly connect returns to the exit node

    HMPerson1 committed Aug 9, 2018
Commits on Aug 9, 2018
  1. [ssa::verifier] Ignore arity of `MOpcode::OpCustom`

    HMPerson1 authored and XVilka committed Aug 8, 2018
  2. [lang_c] Add test for converting `SSAStorage` to `CAST`

    HMPerson1 authored and XVilka committed Aug 8, 2018
  3. [ctrl_flow_struct] Fix handling of CFG sink nodes

    HMPerson1 authored and XVilka committed Aug 3, 2018
    As a side effect of making the exit node not special, several bugs involving
    sink nodes were discovered and fixed.
Commits on Aug 1, 2018
  1. Add appveyor.yml

    HMPerson1 authored and XVilka committed Aug 1, 2018
  2. [ctrl_flow_struct] Implement extracting duplicated conditions.

    HMPerson1 committed Jul 27, 2018
    This also required changing `CfgNode::Condition` to holding `VarRef`s instead of
    `Condition`s.
  3. [ctrl_flow_struct] Refactor refinement process

    HMPerson1 committed Jul 25, 2018
    The original AstNode is now opaque to `Refiner`.
    Also, instead of simplifying every AstNode created, we simplify once at the very
    end.
Commits on Jul 27, 2018
  1. [ssaconstructor] Rip out capstone

    HMPerson1 committed Jul 27, 2018
Commits on Jul 19, 2018
  1. [ctrl_flow_struct] Cleanup tests

    HMPerson1 authored and XVilka committed Jul 18, 2018
Commits on Jul 16, 2018
  1. [ctrl_flow_struct] More cleanup

    HMPerson1 authored and sushant94 committed Jul 15, 2018
  2. [ctrl_flow_struct] Cleanup

    HMPerson1 authored and sushant94 committed Jul 14, 2018
  3. [condition] Implement more aggressive simplifications

    HMPerson1 authored and sushant94 committed Jul 13, 2018
    Each condition now also stores its own negation so we can easily find the
    negation of an expression inside a different expression and simplify based on
    that.
  4. [ctrl_flow_struct] Add AST test

    HMPerson1 authored and sushant94 committed Jul 11, 2018
  5. [ctrl_flow_struct] Implement if-then-else structuring poorly

    HMPerson1 authored and sushant94 committed Jul 6, 2018
    Currently, this just sticks the new nodes at the end, which almost certainly
    will break the topological ordering of the region.