index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Experiments
/
DerivationsOptionRectLetInEncoding.v
Commit message (
Expand
)
Author
Age
*
deduplicate Let_In into src/Util/LetIn.v
Andres Erbsen
2016-09-17
*
IterAssocOp: parameters before arguments
Andres Erbsen
2016-09-16
*
[F] has its own module now
Andres Erbsen
2016-08-05
*
Refactor ModularArithmetic into Zmod, expand Decidable
Andres Erbsen
2016-08-04
*
Make the library 20% faster: [auto with *] is evil
Jason Gross
2016-07-22
*
ported IterAssocOp to use monoid rather than a billion context variables that...
jadep
2016-07-18
*
stuck trying to figure out dependently typed continuation passing style
Andres Erbsen
2016-07-06
*
EdDSA: prove things about spec
Andres Erbsen
2016-06-25
*
Fix a missing mod resolution
Jason Gross
2016-06-21
*
NPeano.modulo became Nat.modulo in 8.5
Jason Gross
2016-06-21
*
Import omega for 8.5
Jason Gross
2016-06-21
*
Shadowing of ltac constr-bound variables with identifiers is forbidden in 8.5
Jason Gross
2016-06-21
*
remove trailing whitespace from src/
Andres Erbsen
2016-06-20
*
remove obsolete rep mechanism
Andres Erbsen
2016-06-20