aboutsummaryrefslogtreecommitdiff
path: root/src/ModularArithmetic/PseudoMersenneBaseParamProofs.v
Commit message (Expand)AuthorAge
* Remove stuff from PseudoMersenneBaseParamProofs.vGravatar Jason Gross2016-07-19
* {base} -> baseGravatar Jason Gross2016-07-19
* Move two_k_nonzero to PseudoMersenneBaseParamProofs.vGravatar Jason Gross2016-07-19
* rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ...Gravatar jadep2016-07-18
* Make [base] and [log_cap] notationsGravatar Jason Gross2016-07-11
* Merged changes, including new ZUtil conventions.Gravatar jadep2016-07-06
|\
* | Factored out some proofs that rely only on base being powers of two, and defi...Gravatar jadep2016-07-06
| * Make ZUtil more uniformGravatar Jason Gross2016-07-02
|/
* remove trailing whitespace from src/Gravatar Andres Erbsen2016-06-20
* starting rewrite using different definition of mapGravatar jadep2016-06-11
* Cleanup: mostly moving lemmas to Util files, some moving lemmas to more gener...Gravatar jadep2016-04-28
* Merge and refactor of GF25519Gravatar jadep2016-04-11
* made BaseVector instance globalGravatar Jade Philipoom2016-03-20
* refactor of Basesystem and ModularBaseSystem; includes general code organizat...Gravatar Jade Philipoom2016-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 13:21:28 +0000