Commit Graph

4 Commits

Author SHA1 Message Date
chriseth
1e09d6ba7b Test for Mod-And rule. 2018-02-12 22:47:04 +00:00
chriseth
5523296eaa Also apply simplification rules that require multiple identical sub-expressions. 2018-02-06 22:51:30 +01:00
chriseth
f7392cc698 Tests. 2018-02-06 22:51:30 +01:00
chriseth
9eea3f29ba Expression simplifier. 2018-02-06 22:51:30 +01:00