Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Make Z.div_mod_to_quot_rem stronger | 2018-07-10 | |
* | Slightly better definitions of some ZUtil functions | 2018-06-26 | |
* | create rewrite database for saturated operations on Z | 2018-02-23 | |
* | Update ZUtil cps definitions | 2017-10-19 | |
* | More fine-grained tactics imports | 2017-07-08 | |
* | Add wrappers for subborrow and add_with_get_carry so they work when it is not... | 2017-06-29 | |
* | Add adc -> sbb to arithmetic simplifer | 2017-05-20 | |
* | Update adc lemmas to version freeze actually uses | 2017-05-17 | |
* | add wrapper for add_get_carry and proofs for add_get_carry and zselect | 2017-05-14 | |
* | Add lemma justifying compiler optimization for adc | 2017-05-14 |