Age | Commit message (Expand) | Author |
---|---|---|
2016-04-17 | compute dead phi args correctly in fold | Quentin Carbonneaux |
2016-04-12 | cosmetic modification in fold | Quentin Carbonneaux |
2016-04-12 | simplify latmerge() | Quentin Carbonneaux |
2016-04-12 | the lattice merge has to be used in update() | Quentin Carbonneaux |
2016-04-12 | oops, dumb bug in folding | Quentin Carbonneaux |
2016-04-12 | diagnose some undefined uses | Quentin Carbonneaux |
2016-04-09 | this can be false | Quentin Carbonneaux |
2016-04-09 | fix wrong assertion in fold | Quentin Carbonneaux |
2016-04-09 | oops, forgot to patch phi arguments | Quentin Carbonneaux |
2016-04-09 | more debug tweaks in fold | Quentin Carbonneaux |
2016-04-09 | add a proper block deletion routine | Quentin Carbonneaux |
2016-04-09 | nicer debug info | Quentin Carbonneaux |
2016-04-09 | quickly hack fold rewriting | Quentin Carbonneaux |
2016-04-07 | use cast in czero() | Quentin Carbonneaux |
2016-04-07 | inline latmerge() (cross fingers) | Quentin Carbonneaux |
2016-04-07 | adjustments in sccp | Quentin Carbonneaux |
2016-04-07 | add boring folding code | Quentin Carbonneaux |
2016-04-06 | start work on constant propagation | Quentin Carbonneaux |