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.v
Commit message (
Expand
)
Author
Age
*
Merge
jadep
2016-06-14
|
\
*
|
Finished admits for canonicalization proofs.
jadep
2016-06-14
|
*
Fix for Coq 8.4pl2
Jason Gross
2016-06-11
|
*
8.5 fixes
Jason Gross
2016-06-10
|
/
*
First stage of canonicalization proofs complete; proved 3 carry loops reduce ...
jadep
2016-05-20
*
Cleanup: mostly moving lemmas to Util files, some moving lemmas to more gener...
jadep
2016-04-28
*
moved lemmas from ModularBaseSystemProofs to various Util files
jadep
2016-04-20
*
Added lemmas to Util/ that are needed for testbit.
jadep
2016-04-19
*
Finish absolutizing imports
Jason Gross
2016-03-10
*
Factor out some bedrock dependencies into WordUtil
Jason Gross
2016-02-25
*
a few lemmas in util about powers of 2 in Bedrock's various rewritten forms
Jade Philipoom
2016-02-15
*
tweaks to util files, including automation for proving positivity/nonnegativi...
Jade Philipoom
2016-02-15
*
NumTheoryUtil : code cleanup; moved some lemmas to ZUtil.
Jade Philipoom
2016-01-23
*
Util: added util lemmas needed to instantiate EdDSA25519.
Jade Philipoom
2016-01-05
*
reorganized lemmas; moved several to ListUtil and ZUtil.
Jade Philipoom
2015-11-24