Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Return to more structured type rules for block and if (#1148) | Alon Zakai | 2017-09-05 | 1 | -3/+3 |
* | fix binary emitting of untaken branches, and also handle reading of unreachab... | Alon Zakai (kripken) | 2017-07-29 | 1 | -0/+14 |