| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | ported IterAssocOp to use monoid rather than a billion context variables that... |  jadep | 2016-07-18 |
| * | 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 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |