Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Move print statements to Barrett and Montgomery files | jadep | 2019-01-17 |
* | prune dependencies from Barrett256 and Montgomery256 | jadep | 2019-01-17 |
* | Prune dependencies of Prod.v and fix up | jadep | 2019-01-17 |
* | Rename Translation.v | jadep | 2019-01-17 |
* | Prune Translation.v deps and move tactics from other files [WIP] | jadep | 2019-01-17 |
* | clean up and prune deps of Spec.v | jadep | 2019-01-17 |
* | Fix up Montgomery | jadep | 2019-01-17 |
* | separate toplevel2 into several files; fix up final barrett proof | jadep | 2019-01-17 |