index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
ZUtil
/
Definitions.v
Commit message (
Expand
)
Author
Age
*
Minor improvements to various ZUtil things; bounds
Jason Gross
2018-08-25
*
Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil
Jason Gross
2018-08-23
*
Remove lneg in favor of lnot_modulo (lneg was wrong)
Jason Gross
2018-06-27
*
Add Z.bneg, Z.lneg
Jason Gross
2018-06-26
*
Slightly better definitions of some ZUtil functions
Jason Gross
2018-06-26
*
add instructions cc_m, rshi, and sub_with_get_borrow to pipeline in preparati...
Jade Philipoom
2018-04-19
*
Add new assembly-mimicking operations rshi, cc_m, and cc_l
Jade Philipoom
2018-04-11
*
Add new modular addition operation on Z
Jade Philipoom
2018-02-23
*
Update ZUtil cps definitions
Jason Gross
2017-10-19
*
Add wrappers for subborrow and add_with_get_carry so they work when it is not...
jadep
2017-06-29
*
Unfold Z.mul_split_at_bitwidth for reification
Jason Gross
2017-06-17
*
Add mul_split_at_bitwidth, define things in terms of that
Jason Gross
2017-06-13
*
Add Z.mul_split
Jason Gross
2017-06-13
*
Add SubWithGetBorrow to reflective machinery
Jason Gross
2017-05-20
*
add wrapper for add_get_carry and proofs for add_get_carry and zselect
jadep
2017-05-14
*
Change definition of add_get_carry
Jason Gross
2017-05-13
*
Add definitions for zselect and add_get_carry
Jason Gross
2017-05-13
*
Split off notation and defs in ZUtil
Jason Gross
2017-05-12