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