index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
ModularArithmetic
/
Pow2BaseProofs.v
Commit message (
Expand
)
Author
Age
*
Make the library 20% faster: [auto with *] is evil
Jason Gross
2016-07-22
*
Changed name of [carry_and_reduce_single] to [carry_single], since it does no...
jadep
2016-07-21
*
merge
jadep
2016-07-20
|
\
|
*
Remove stuff from PseudoMersenneBaseParamProofs.v
Jason Gross
2016-07-19
|
*
Fix side-condition from previous commit
Jason Gross
2016-07-19
|
*
Add another lemma to distr_length
Jason Gross
2016-07-19
*
|
merge
jadep
2016-07-19
|
\
|
*
|
merge
jadep
2016-07-19
|
\
\
|
|
*
Add a lemma about base_from_limb_widths and app
Jason Gross
2016-07-18
|
|
*
Make Pow2BaseProofs independent of the def of add_to_nth
Jason Gross
2016-07-18
|
|
*
Express carry_simple in terms of carry_gen
Jason Gross
2016-07-18
|
|
/
*
|
changed base notation
jadep
2016-07-18
|
*
Move some definitions to Pow2Base (#24)
Jason Gross
2016-07-18
|
/
*
rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ...
jadep
2016-07-18
*
Merged changes, including new ZUtil conventions.
jadep
2016-07-06
*
Factored out some proofs that rely only on base being powers of two, and defi...
jadep
2016-07-06