Commit Graph

5 Commits

Author SHA1 Message Date
Leonardo Alt
fa0ab6bb21 Fix compilation problem from issue 3530 2018-02-16 16:04:30 +01:00
chriseth
d7e5cc3f97 Pretty-print constants in simplifier. 2018-02-09 19:00:40 +01:00
chriseth
c961a3079d Turn simplification rule tuple into struct. 2018-02-06 22:51:30 +01:00
chriseth
5523296eaa Also apply simplification rules that require multiple identical sub-expressions. 2018-02-06 22:51:30 +01:00
chriseth
9eea3f29ba Expression simplifier. 2018-02-06 22:51:30 +01:00