Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge | jadep | 2016-06-14 |
|\ | |||
* | | progress on second stage (conditional constant-time subtraction) of canonical... | jadep | 2016-06-13 |
| * | 8.5 fixes | Jason Gross | 2016-06-10 |
|/ | |||
* | moved lemmas from ModularBaseSystemProofs to various Util files | jadep | 2016-04-20 |
* | 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 |
* | Util: added util lemmas needed to instantiate EdDSA25519. | Jade Philipoom | 2016-01-05 |