Commit message (Expand) | Author | Age | |
---|---|---|---|
* | remove undeclared lines from Ed25519Extraction.v | 2017-03-02 | |
* | Support for 128-bit words | 2016-11-14 | |
* | extraction: inline field operations into group operations | 2016-11-14 | |
* | Proper_sqrt | 2016-11-13 | |
* | extraction less slow | 2016-11-11 | |
* | Rewrite cast_word so that it's extracted better | 2016-11-09 | |
* | implement X25519 | 2016-11-06 | |
* | fix extraction directives -- tested enc((l+1)B)=enc(B) | 2016-11-03 | |
* | separate Ed25519Extraction.v, add extraction to Makefile | 2016-11-03 |