index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
*
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
*
Add more constant notations
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
*
Add more constant notations
Jason Gross
2017-11-02
*
Update display logs and c files
Jason Gross
2017-11-02
*
Add more constant notations
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
*
Add more constant notations
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Add cps versions of id_with_alt
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Update display logs
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Make use of from_associational_cps in more places
Jason Gross
2017-11-01
*
More use of Z.eqb_cps
Jason Gross
2017-11-01
*
Switch to AddWithGetCarry in ZExtended
Jason Gross
2017-10-31
*
Add MapBaseType
Jason Gross
2017-10-31
*
Add unextend_op
Jason Gross
2017-10-31
*
Generalize MapBaseType a bit
Jason Gross
2017-10-31
*
Add invert_PairsConst_gen
Jason Gross
2017-10-31
*
add ZToSignedWord, signedWordToZ
Jason Gross
2017-10-31
*
Update display logs
Jason Gross
2017-10-31
*
Update display logs
Jason Gross
2017-10-31
*
Add more constant notations
Jason Gross
2017-10-31
*
Update display logs
Jason Gross
2017-10-29
[next]