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
*
More use of Z.eqb_cps
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
*
Generalize extended version of IdWithAlt
Jason Gross
2017-11-06
*
table for yesterday's benchmarks
Andres Erbsen
2017-11-06
*
Deduplicate some code
Jason Gross
2017-11-06
*
More id_with_alt_cps updates
Jason Gross
2017-11-06
*
primes.txt: remove a curve25519 alias, add 64-bit secp256
Andres Erbsen
2017-11-06
*
Make use of id_tuple_with_alt_cps'
Jason Gross
2017-11-06
*
Update versions of id_with_alt_cps
Jason Gross
2017-11-06
*
fibe.c: fix type error from 99376c66e4ff240915455d75cf5901f2d38d8ef6
Andres Erbsen
2017-11-06
*
Add IdWithAlt to ZExtended
Jason Gross
2017-11-04
*
Print coq version on smithers
Jason Gross
2017-11-04
*
Move type argument to id_tuple_with_alt outside the fixpoint
Jason Gross
2017-11-04
*
Update display logs and c files
Jason Gross
2017-11-03
*
Add Zsub to extended syntax
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
*
Add more constant 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
*
Add more constant notations
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
benchmark on clang6
Andres Erbsen
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
*
Add more constant notations
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
*
Add preformatting for casts of mulx
Jason Gross
2017-11-03
*
Update display logs and c files
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add notations for mulx involving uint8_t
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
*
Make compiler*.sh stable under rebuilding
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
*
Actually remove trailing whitespace from the prime in primes.txt
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
*
Fix a re#definition
Jason Gross
2017-11-03
*
Fix a re#definition
Jason Gross
2017-11-03
*
python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...
Jason Gross
2017-11-03
*
Add a24_val, a24_hex compiler params
Jason Gross
2017-11-03
*
Add montgomery fesquare files
Jason Gross
2017-11-03
[next]