aboutsummaryrefslogtreecommitdiff
path: root/src/Fancy/Montgomery256.v
Commit message (Expand)AuthorAge
* finish porting barrett and montgomery code to new glue styleGravatar jadep2019-02-21
* fix cast admits in FancyGravatar jadep2019-02-15
* cleanupGravatar jadep2019-02-08
* fix Montgomery proof and clean up a littleGravatar jadep2019-02-08
* Split up PushButtonSynthesis.vGravatar Jason Gross2019-01-18
* Move print statements to Barrett and Montgomery filesGravatar jadep2019-01-17
* prune dependencies from Barrett256 and Montgomery256Gravatar jadep2019-01-17
* Fix up MontgomeryGravatar jadep2019-01-17
* separate toplevel2 into several files; fix up final barrett proofGravatar jadep2019-01-17