index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
SpecificGen
/
GF25519_32Reflective
Commit message (
Expand
)
Author
Age
*
Split out Reflection.Equality, change Tflat implicit argument
Jason Gross
2017-01-19
*
copy_bounds
Jason Gross
2017-01-07
*
Revert "Add apply10"
Jason Gross
2017-01-07
*
copy_bounds
Jason Gross
2017-01-07
*
Admit Common9_4Op.v
Jason Gross
2016-12-08
*
uncurry_n_op_fe25519
Jason Gross
2016-11-25
*
Copy bounds, fix a typo
Jason Gross
2016-11-22
*
Fix missing import for List.repeat in 8.4
Jason Gross
2016-11-21
*
Add some missing files
Jason Gross
2016-11-17
*
Fix some problems with previous commit
Jason Gross
2016-11-17
*
Remove admits, fill templates, copy bounds
Jason Gross
2016-11-17
*
Copy reified add coordinates to various versions of curves
Jason Gross
2016-11-17
*
Work around bug #5205 (arguments naming weirdness)
Jason Gross
2016-11-16
*
Copy bounds to specific_gen
Jason Gross
2016-11-16
*
Fix for Coq 8.5 (more unfolding)
Jason Gross
2016-11-15
*
Update SpecificGen to be faster
Jason Gross
2016-11-14
*
Support for 128-bit words
Jason Gross
2016-11-14
*
Add SpecificGen/GF*
Jason Gross
2016-11-13