aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ZUtil/Definitions.v
Commit message (Expand)AuthorAge
* Add Z.combine_at_bitwidthGravatar Jason Gross2019-04-02
* Minor improvements to various ZUtil things; boundsGravatar Jason Gross2018-08-25
* Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtilGravatar Jason Gross2018-08-23
* Remove lneg in favor of lnot_modulo (lneg was wrong)Gravatar Jason Gross2018-06-27
* Add Z.bneg, Z.lnegGravatar Jason Gross2018-06-26
* Slightly better definitions of some ZUtil functionsGravatar Jason Gross2018-06-26
* add instructions cc_m, rshi, and sub_with_get_borrow to pipeline in preparati...Gravatar Jade Philipoom2018-04-19
* Add new assembly-mimicking operations rshi, cc_m, and cc_lGravatar Jade Philipoom2018-04-11
* Add new modular addition operation on ZGravatar Jade Philipoom2018-02-23
* Update ZUtil cps definitionsGravatar Jason Gross2017-10-19
* Add wrappers for subborrow and add_with_get_carry so they work when it is not...Gravatar jadep2017-06-29
* Unfold Z.mul_split_at_bitwidth for reificationGravatar Jason Gross2017-06-17
* Add mul_split_at_bitwidth, define things in terms of thatGravatar Jason Gross2017-06-13
* Add Z.mul_splitGravatar Jason Gross2017-06-13
* Add SubWithGetBorrow to reflective machineryGravatar Jason Gross2017-05-20
* add wrapper for add_get_carry and proofs for add_get_carry and zselectGravatar jadep2017-05-14
* Change definition of add_get_carryGravatar Jason Gross2017-05-13
* Add definitions for zselect and add_get_carryGravatar Jason Gross2017-05-13
* Split off notation and defs in ZUtilGravatar Jason Gross2017-05-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-08 20:04:35 +0000