Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Return to more structured type rules for block and if (#1148) | Alon Zakai | 2017-09-05 | 1 | -0/+38 |
* | do not swap elements in conditionalizeExpensiveOnBitwise if they invalidate e... | Alon Zakai (kripken) | 2017-07-29 | 1 | -0/+64 |
* | Support new result syntax for if/loop/block (#1047) | Sam Clegg | 2017-06-12 | 1 | -3/+3 |
* | Improve handling of implicit traps (#898) | Alon Zakai | 2017-02-06 | 1 | -0/+263 |