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