index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
GF25519Reflective
/
Reified
Commit message (
Expand
)
Author
Age
*
Split off some bits of Reflection.Syntax
Jason Gross
2017-01-26
*
Remove the Const constructor of exprf
Jason Gross
2017-01-19
*
Add reified LadderStep without carries
Jason Gross
2017-01-07
*
Fix some problems with previous commit
Jason Gross
2016-11-17
*
Remove admits, fill templates, copy bounds
Jason Gross
2016-11-17
*
Update AddCoordinates
Jason Gross
2016-11-17
*
Minor change in AddCoordinates
Jason Gross
2016-11-17
*
Move util definitions to util folder
Jason Gross
2016-11-17
*
Add reified mostly-bounds-checked add_coordinates
Jason Gross
2016-11-17
*
Remove dead code in rebuild-reified.py
Jason Gross
2016-11-11
*
Begin filling in @JasonGross's stubs
jadep
2016-11-11
*
Freeze stubs
Jason Gross
2016-11-11
*
Split up GF25519Reflective.Common: faster+parallel
Jason Gross
2016-11-09
*
Plug in boundedness proofs
Jason Gross
2016-11-05
*
Add better bounded lemmas to reified things
Jason Gross
2016-11-05
*
Add code for overflow check (disabled bc freeze)
Jason Gross
2016-11-05
*
Print out the computed bounds on the various ops
Jason Gross
2016-11-01
*
Also construct relatedness proofs in reified
Jason Gross
2016-10-30
*
Add reification of various operations
Jason Gross
2016-10-30