Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [PoisonCheker] Support for out of bounds operands on shifts + insert/extracte... | Philip Reames | 2019-07-09 | 1 | -0/+121 |
* | [PoisonChecking] Add validation rules for "exact" on sdiv/udiv | Philip Reames | 2019-07-09 | 1 | -0/+43 |
* | Add a transform pass to make the executable semantics of poison explicit in t... | Philip Reames | 2019-07-09 | 1 | -0/+158 |