aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ZUtil/AddGetCarry.v
Commit message (Expand)AuthorAge
* create rewrite database for saturated operations on ZGravatar Jade Philipoom2018-02-23
* Update ZUtil cps definitionsGravatar Jason Gross2017-10-19
* More fine-grained tactics importsGravatar Jason Gross2017-07-08
* Add wrappers for subborrow and add_with_get_carry so they work when it is not...Gravatar jadep2017-06-29
* Add adc -> sbb to arithmetic simpliferGravatar Jason Gross2017-05-20
* Update adc lemmas to version freeze actually usesGravatar Jason Gross2017-05-17
* add wrapper for add_get_carry and proofs for add_get_carry and zselectGravatar jadep2017-05-14
* Add lemma justifying compiler optimization for adcGravatar Jason Gross2017-05-14