Age | Commit message (Expand) | Author |
---|---|---|
2015-01-21 | DAGCombine: fold (or (and X, M), (and X, N)) -> (and X, (or M, N)) | Tim Northover |
2015-01-21 | Revert "DAGCombine: fold (or (and X, M), (and X, N)) -> (and X, (or M, N))" | Tim Northover |
2015-01-21 | DAGCombine: fold (or (and X, M), (and X, N)) -> (and X, (or M, N)) | Tim Northover |