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