index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
BaseSystemProofs.v
Commit message (
Expand
)
Author
Age
*
Move side lemmas to appropriate files
jadep
2016-09-17
*
Add some list util, and decode'_map_mul
Jason Gross
2016-08-16
*
Move more proofs earlier
Jason Gross
2016-07-18
*
Add more distr_length proofs in BaseSystemProofs
Jason Gross
2016-07-18
*
Merged changes, including new ZUtil conventions.
jadep
2016-07-06
|
\
|
*
Make ZUtil more uniform
Jason Gross
2016-07-02
*
|
BaseSystem encode function is no longer naive; it does a mod/div loop rather ...
jadep
2016-06-28
|
/
*
Aggregate all level specifications not in Spec/*
Jason Gross
2016-06-22
*
changed representation definition to require digits vector to be the exact le...
jadep
2016-06-15
*
Merge
jadep
2016-06-14
|
\
*
|
Finished admits for canonicalization proofs.
jadep
2016-06-14
|
*
8.5 fixes
Jason Gross
2016-06-10
|
/
*
Cleanup: mostly moving lemmas to Util files, some moving lemmas to more gener...
jadep
2016-04-28
*
refactor of Basesystem and ModularBaseSystem; includes general code organizat...
Jade Philipoom
2016-03-20