Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Be a bit more forceful in eliminating zeros in arith simpl | 2017-06-17 | |
* | More arithmetic simplification for adc, mul | 2017-06-17 | |
* | Add extra simplification to simplifier for adc | 2017-06-17 | |
* | Eliminate well-bounded IdWithAlt from final output | 2017-06-15 | |
* | Add constant-pushing IdWithAlt optimization | 2017-06-14 | |
* | Reify Z.mul_with_split_at_bitwidth | 2017-06-13 | |
* | Handle IdWithAlt in the simplifier | 2017-06-12 | |
* | Add dummy version of IdWithAlt to compilers | 2017-06-11 | |
* | Add compiler optimization for [Zselect (-x) _ _] | 2017-05-20 | |
* | Get sbb conversion working in the pipeline | 2017-05-20 | |
* | Add adc -> sbb to arithmetic simplifer | 2017-05-20 | |
* | Add SubWithGetBorrow to reflective machinery | 2017-05-20 | |
* | Add reflective machinery for adc, zselect | 2017-05-17 | |
* | rename-everything | 2017-04-06 |