Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve documentation of binaries | 2018-09-11 | |
* | Import prim token notations before using them | 2018-08-24 | |
* | Montgomery reduction in new pipeline | 2018-07-21 | |
* | Add missing space | 2018-07-03 | |
* | Allow passing functions to synthesize on the command line, and scmul for 25519 | 2018-07-03 | |
* | WIP | 2018-07-03 | |
* | Pass around lists of strings for error messages | 2018-06-17 | |
* | New pipeline, split among files | 2018-06-17 |