Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Move most notation level declarations into Util | Jason Gross | 2016-07-27 |
* | added proofs about addition chain exponentiation for later use in ModularBase... | jadep | 2016-07-10 |
* | EdDSARefinement: work around rewrite_strat for 8.4 | Andres Erbsen | 2016-06-28 |
* | eddsa refinement setup | Andres Erbsen | 2016-06-27 |
* | scalarmult support; EdDSA.sign produces valid signatures | Andres Erbsen | 2016-06-27 |
* | first pass of scalarmult | Andres Erbsen | 2016-06-27 |
* | Fix for Coq 8.4 | Jason Gross | 2016-06-25 |
* | EdDSA: prove things about spec | Andres Erbsen | 2016-06-25 |