Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Make the library 20% faster: [auto with *] is evil | 2016-07-22 | |
* | Pseudize Lemmas for Dual Operations | 2016-06-23 | |
* | Integrate Pseudize into Pipeline.v | 2016-06-23 | |
* | Pseudize Let_In with minor notations | 2016-06-23 | |
* | Pseudize Let_In | 2016-06-23 | |
* | Add Pseudize, Vectorize, Wordize to the build process | 2016-06-22 | |
* | Replace NPeano -> Nat in src/Spec/EdDSA | 2016-06-22 | |
* | Full automation for relevant parts of pseudo conversion except lets | 2016-06-22 | |
* | Reorganization of wordize.v | 2016-06-22 |