index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Update display logs and c files
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Better version of ZBounded.modulo, with a proof
Jason Gross
2017-11-03
*
Add ZBounded.modulo
Jason Gross
2017-11-03
*
Add type of bounded Z
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
*
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
*
Add more constant notations
Jason Gross
2017-11-02
*
generate_parameters.py: supply dummy a24 of correct length
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
*
Add more constant notations
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 and c files
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
make update-_CoqProject
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-02
*
Update generate parameters to generate feadd, fesub
Jason Gross
2017-11-02
*
Add fibe target
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
*
Fix generate_parameters
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
*
Add makefile targets for gmpvar, gmpsec
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
*
Fix generation of q hex string
Jason Gross
2017-11-02
*
Also define modulus_array
Jason Gross
2017-11-02
*
Pipe output of gmpxx run to log file
Jason Gross
2017-11-02
*
python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...
Jason Gross
2017-11-02
*
Add gmpxx compilation
Jason Gross
2017-11-02
*
Add -D compiler arguments for gmpxx.cpp
Jason Gross
2017-11-02
*
Add generated-py-bench target
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
[next]