index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
IterAssocOp.v
Commit message (
Expand
)
Author
Age
*
refactor scalar multiplication thoery, implement SRepERepMul
Andres Erbsen
2016-10-12
*
IterAssocOp: parameters before arguments
Andres Erbsen
2016-09-16
*
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