Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Split simplification rules into two functions. | Daniel Kirchner | 2018-09-18 | 1 | -0/+7 |
* | Code, Changelog, ReleaseChecklist: Fix typos. | Cryptomental | 2018-07-11 | 1 | -1/+1 |
* | 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 |