index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
Commit message (
Expand
)
Author
Age
...
*
Update display logs and c files
Jason Gross
2017-11-03
*
Fix error in generated C notations
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
clang -fbracket-depth=999999
Andres Erbsen
2017-11-03
*
use clang
Andres Erbsen
2017-11-03
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-03
*
find . -name "py_interpreter.sh" | xargs chmod +x
Jason Gross
2017-11-03
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-03
*
fibe: Only define bitwidth on the command line
Jason Gross
2017-11-03
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-03
*
Add PRI{u,x}limb for printf formats
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Fix a printf format specifier mismatch
Jason Gross
2017-11-03
*
Fix a re#definition
Jason Gross
2017-11-03
*
Fix a re#definition
Jason Gross
2017-11-03
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-03
*
Add montgomery fesquare files
Jason Gross
2017-11-03
*
Minor reordering for consistency
Jason Gross
2017-11-03
*
run some benchmarks
Andres Erbsen
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-02
*
fibe.c: stop using intrinsics (#263)
Andres Erbsen
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Andres Erbsen
2017-11-02
*
benchmarks build WIP
Andres Erbsen
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-02
*
Update fibe
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update fibe
Jason Gross
2017-11-02
*
Move fibe.c
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
[prev]
[next]