Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add a generic expansion transform: A op (B op' C) -> (A op B) op' (A op C) | Duncan Sands | 2010-12-22 | 1 | -2/+14 |
* | Exploit distributive laws (eg: And distributes over Or, Mul over Add, etc) in a | Duncan Sands | 2010-11-23 | 1 | -0/+11 |