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-12
*
Update display logs and c files
Jason Gross
2017-11-12
*
Update display logs and c files
Jason Gross
2017-11-12
*
Remove outdated C128 files
Jason Gross
2017-11-12
*
add back incorrectly deleted files
jadep
2017-11-12
*
new autogenerated files
jadep
2017-11-12
*
update remake-curves.sh and Makefile
jadep
2017-11-12
*
changes to parameter-generation script
jadep
2017-11-12
*
benchmark montgomery32, gmpvar, and gmpsec on 32-bit android
Andres Erbsen
2017-11-11
*
Update display logs and c files
Jason Gross
2017-11-10
*
Update display logs and c files
Jason Gross
2017-11-10
*
Update display logs and c files
Jason Gross
2017-11-10
*
first benchmark on 32-bit Android
Andres Erbsen
2017-11-10
*
Update make_curve.py for python3
Jason Gross
2017-11-10
*
Revert "Update make_curve.py for python3"
Jason Gross
2017-11-10
*
Update make_curve.py for python3
Jason Gross
2017-11-10
*
Fix another side condition issue
Jason Gross
2017-11-08
*
Add karatsuba, goldilocks lemmas to rewrite dbs
Jason Gross
2017-11-07
*
Add a dummy karatsuba parameter
Jason Gross
2017-11-07
*
build some logs...
Andres Erbsen
2017-11-07
*
Move SideConditionFramework
Jason Gross
2017-11-07
*
[fix build] Fix nonbuilding OutputType file
Jason Gross
2017-11-07
*
Move chained_carries' (now chained_carries_reduce)
Jason Gross
2017-11-07
*
Add more packages to SideConditionFramework
Jason Gross
2017-11-07
*
Add SideConditionFramework
Jason Gross
2017-11-07
*
Use div_cps and modulo_cps in more places
Jason Gross
2017-11-07
*
Fix some names
Jason Gross
2017-11-07
*
primes.txt: remove a curve25519 alias, add 64-bit secp256
Andres Erbsen
2017-11-06
*
fibe.c: fix type error from 99376c66e4ff240915455d75cf5901f2d38d8ef6
Andres Erbsen
2017-11-06
*
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
*
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
[next]