Commit message (Expand) | Author | Age | |
---|---|---|---|
* | add instructions cc_m, rshi, and sub_with_get_borrow to pipeline in preparati... | 2018-04-19 | |
* | Add new assembly-mimicking operations rshi, cc_m, and cc_l | 2018-04-11 | |
* | Add new modular addition operation on Z | 2018-02-23 | |
* | Update ZUtil cps definitions | 2017-10-19 | |
* | Add wrappers for subborrow and add_with_get_carry so they work when it is not... | 2017-06-29 | |
* | Unfold Z.mul_split_at_bitwidth for reification | 2017-06-17 | |
* | Add mul_split_at_bitwidth, define things in terms of that | 2017-06-13 | |
* | Add Z.mul_split | 2017-06-13 | |
* | Add SubWithGetBorrow to reflective machinery | 2017-05-20 | |
* | add wrapper for add_get_carry and proofs for add_get_carry and zselect | 2017-05-14 | |
* | Change definition of add_get_carry | 2017-05-13 | |
* | Add definitions for zselect and add_get_carry | 2017-05-13 | |
* | Split off notation and defs in ZUtil | 2017-05-12 |