Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max is | Duncan Sands | 2011-05-07 | 1 | -0/+36 |
* | Add variations on: max(x,y) >= min(x,z) folds to true. This isn't that common, | Duncan Sands | 2011-05-04 | 1 | -0/+88 |
* | Implement some basic simplifications involving min/max, for example | Duncan Sands | 2011-05-03 | 1 | -0/+145 |