Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Test for Mod-And rule. | chriseth | 2018-02-13 | 1 | -0/+12 |
* | Also apply simplification rules that require multiple identical sub-expressions. | chriseth | 2018-02-07 | 1 | -0/+24 |
* | Tests. | chriseth | 2018-02-07 | 1 | -0/+40 |
* | Expression simplifier. | chriseth | 2018-02-07 | 1 | -0/+66 |