| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-07-28 | simplify 'x != 0' or 'x == 1' to 'x' | Luc Van Oostenryck | 1 | -33/+17 |
| 2018-06-28 | bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOL | Luc Van Oostenryck | 1 | -24/+24 |
| 2018-06-28 | bool: simplify ZEXT in bool -> int -> bool | Luc Van Oostenryck | 1 | -33/+17 |
| 2018-06-28 | bool: add testcase for bool simplification | Luc Van Oostenryck | 1 | -0/+247 |
