Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve handling of implicit traps (#898) | Alon Zakai | 2017-02-06 | 1 | -263/+0 |
| | | | | | | | | * add --ignore-implicit-traps option, and by default do not ignore them, to properly preserve semantics * implicit traps can be reordered, but are side effects and should not be removed * add testing for --ignore-implicit-traps | ||||
* | Conditionalize boolean operations based on cost (#805) | Alon Zakai | 2016-10-26 | 1 | -0/+263 |
When we have expensive | expensive, and both are boolean, then we can execute one of them conditionally if it doesn't have side effects. |