Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Finish absolutizing imports | 2016-06-22 | |
* | Factor out some bedrock dependencies into WordUtil | 2016-06-22 | |
* | a few lemmas in util about powers of 2 in Bedrock's various rewritten forms | 2016-06-22 | |
* | Util: added util lemmas needed to instantiate EdDSA25519. | 2016-01-05 |