Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add reflective compose, notation for Z.Syntax.{Expr,Interp} | Jason Gross | 2017-10-12 |
* | Better simplification of mulsplit | Jason Gross | 2017-06-18 |
* | Better test for simplifier | Jason Gross | 2017-06-18 |
* | Stronger simplification of adc too add when we can prove the carry is 0 | Jason Gross | 2017-06-18 |
* | Be a bit more forceful in eliminating zeros in arith simpl | Jason Gross | 2017-06-17 |
* | More arithmetic simplification for adc, mul | Jason Gross | 2017-06-17 |
* | Add extra simplification to simplifier for adc | Jason Gross | 2017-06-17 |
* | Rework and speed up arithmetic simplifier proofs | Jason Gross | 2017-06-14 |
* | Handle IdWithAlt in the simplifier | Jason Gross | 2017-06-12 |
* | Add compiler optimization for [Zselect (-x) _ _] | Jason Gross | 2017-05-20 |
* | Get sbb conversion working in the pipeline | Jason Gross | 2017-05-20 |
* | Add adc -> sbb to arithmetic simplifer | Jason Gross | 2017-05-20 |
* | rename-everything | Andres Erbsen | 2017-04-06 |