Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 8.5 fixes | Jason Gross | 2016-06-10 |
* | Remove unfolding, rewrite -> setoid_rewrite | Jason Gross | 2016-05-24 |
* | Retrieved updated version of Util/IterAssocOp and modified ExtendedCoordinate... | jadep | 2016-04-14 |
* | Reverting Util/IterAssocOp to an earlier version for compatibility with Compl... | jadep | 2016-04-12 |
* | Merge branch 'master' of github.mit.edu:plv/fiat-crypto | jadep | 2016-03-30 |
|\ | |||
| * | Finish absolutizing imports | Jason Gross | 2016-03-10 |
* | | IterAssocOp: now uses arbitrary representation of scalar that implements testbit | Jade Philipoom | 2016-03-08 |
* | | IterAssocOp : now takes a bound argument instead of just using size of exponent | Jade Philipoom | 2016-03-07 |
|/ | |||
* | IterAssocOp : proved iter_op with function exponential | Jade Philipoom | 2016-03-03 |
* | generic binary exponentiation correctness proof in 3 one-liners | Andres Erbsen | 2016-02-26 |