index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
X25519
/
C32
Commit message (
Expand
)
Author
Age
*
Pass -mbmi2 to gcc
Jason Gross
2018-01-19
*
Print bool as uint8_t
Jason Gross
2018-01-05
*
make selected-specific-display for permit `TWord 0`
Jason Gross
2018-01-05
*
Update display logs and c files
Jason Gross
2017-11-10
*
Add a dummy karatsuba parameter
Jason Gross
2017-11-07
*
find . -name "py_interpreter.sh" | xargs chmod +x
Jason Gross
2017-11-03
*
Add generated py_interpreter.sh files
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-10-29
*
Update display logs
Jason Gross
2017-10-29
*
Add tight and loose bounds, no carry in add, sub
Jason Gross
2017-10-22
*
Add display logs
Jason Gross
2017-10-18
*
Saner checking for freeze and ladderstep
Jason Gross
2017-10-18
*
Explicitly specify base
Jason Gross
2017-10-18
*
Turn CurveParameters into a record
Jason Gross
2017-10-18
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Reorganize the curve-specific synthesis framework
Jason Gross
2017-10-18
*
Fold Karatsuba into json format and synthesis
Jason Gross
2017-10-18
*
Build curve-specific files from json
Jason Gross
2017-10-18
*
Reorgainze synthesis framework files into a Framework folder
Jason Gross
2017-10-18
*
Replace curve-specific definitions with tactics
Jason Gross
2017-10-18
*
Factor out specific code underlying ReificationTypes
Jason Gross
2017-10-18
*
Turn on parenthetization in C output
Jason Gross
2017-10-17
*
Generalize phis
Jason Gross
2017-10-07
*
Factor out parameter-specific code
Jason Gross
2017-10-07
*
Add src/Specific/X25519/C32/compiler.sh, update src/Specific/X25519/C64/scala...
Jason Gross
2017-09-27
*
Add femul,fesqure for C32
Jason Gross
2017-09-21