Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add adc -> sbb to arithmetic simplifer | Jason Gross | 2017-05-20 |
* | Update adc lemmas to version freeze actually uses | Jason Gross | 2017-05-17 |
* | add wrapper for add_get_carry and proofs for add_get_carry and zselect | jadep | 2017-05-14 |
* | Add lemma justifying compiler optimization for adc | Jason Gross | 2017-05-14 |