Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Split simplification rules into two functions. | Daniel Kirchner | 2018-09-18 | 1 | -0/+6 |
* | Turn simplification rule tuple into struct. | chriseth | 2018-02-07 | 1 | -4/+5 |
* | Add flag to indicate whether it can be applied to expressions with side-effects. | chriseth | 2018-02-07 | 1 | -4/+6 |
* | Optimise simplification rules (sort into bins). | chriseth | 2017-01-13 | 1 | -0/+140 |