Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix compilation problem from issue 3530 | Leonardo Alt | 2018-02-16 | 1 | -4/+4 |
* | Pretty-print constants in simplifier. | chriseth | 2018-02-10 | 1 | -1/+1 |
* | Turn simplification rule tuple into struct. | chriseth | 2018-02-07 | 1 | -5/+5 |
* | Also apply simplification rules that require multiple identical sub-expressions. | chriseth | 2018-02-07 | 1 | -3/+13 |
* | Expression simplifier. | chriseth | 2018-02-07 | 1 | -0/+172 |