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