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-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
*
Update gmp{var,sec} to allow passing q, a24 via -D
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
*
Generate py_interpreter.sh
Jason Gross
2017-11-02
*
Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.py
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
*
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
*
Better generation of autogenerated 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
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-10-31
*
Update display logs
Jason Gross
2017-10-31
*
Update display logs
Jason Gross
2017-10-29
*
Update display logs
Jason Gross
2017-10-29
*
Update display logs
Jason Gross
2017-10-29
*
check in p384 generated code
Andres Erbsen
2017-10-26
*
Add tight and loose bounds, no carry in add, sub
Jason Gross
2017-10-22
*
Unfold P.bound1 in fenz
Jason Gross
2017-10-21
*
gmpsec.c: generic constant-time montgomery ladder implementation using mpn_se...
Andres Erbsen
2017-10-20
*
Allow inlining expressions not returning Tbase
Jason Gross
2017-10-20
*
Add display logs
Jason Gross
2017-10-18
*
Fix a scope issue with solve_constant_sig
Jason Gross
2017-10-18
*
Separate out a24 constant as a Z
Jason Gross
2017-10-18
*
Saner checking for freeze and ladderstep
Jason Gross
2017-10-18
*
Remake some curves
Jason Gross
2017-10-18
*
Use a larger modinv_fuel
Jason Gross
2017-10-18
*
Better error message on pose_modinv failure
Jason Gross
2017-10-18
*
Only require half_sz_nonzero in karatsuba (it fails for sz=1)
Jason Gross
2017-10-18
*
Add sanity check of base_le_bitwidth
Jason Gross
2017-10-18
*
Better error messages on m_enc_bounded
Jason Gross
2017-10-18
*
Karatsuba in gallina
Jason Gross
2017-10-18
*
Explicitly specify base
Jason Gross
2017-10-18
*
Move more of carry_sig, zero_sig, one_sig, etc to gallina
Jason Gross
2017-10-18
[next]