Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support new result syntax for if/loop/block (#1047) | Sam Clegg | 2017-06-12 | 1 | -6/+6 |
* | Validation fixes for issues noticed by afl (#988) | Alon Zakai | 2017-05-02 | 1 | -0/+1 |
* | Improve handling of implicit traps (#898) | Alon Zakai | 2017-02-06 | 1 | -0/+80 |