index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
solinas32_2e213m3
Commit message (
Expand
)
Author
Age
*
Revert "first batch benchmarks stash"
Andres Erbsen
2017-11-13
*
first batch benchmarks stash
Andres Erbsen
2017-11-13
*
new autogenerated files
jadep
2017-11-12
*
Update display logs and c files
Jason Gross
2017-11-10
*
Add a dummy karatsuba parameter
Jason Gross
2017-11-07
*
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
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
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
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Andres Erbsen
2017-11-02
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...
Jason Gross
2017-11-02
*
Add -D compiler arguments for gmpxx.cpp
Jason Gross
2017-11-02
*
Add generated py_interpreter.sh files
Jason Gross
2017-11-02
*
autogenerated c files don't have corresponding .h 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
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-11-01
*
Add tight and loose bounds, no carry in add, sub
Jason Gross
2017-10-22
*
Saner checking for freeze and ladderstep
Jason Gross
2017-10-18
*
Remake some curves
Jason Gross
2017-10-18
*
Explicitly specify base
Jason Gross
2017-10-18
*
Run remake_curves.py
Jason Gross
2017-10-18