index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generate_parameters.py
Commit message (
Collapse
)
Author
Age
*
Don't error if we can't open a file
Jason Gross
2017-10-16
|
*
Handle more primes
Jason Gross
2017-10-16
|
*
Fix various issues with generate_parameters.py
Jason Gross
2017-10-16
|
|
|
|
|
|
|
Some of the sizes were too small because python3 generates floats on division, while python2 rounds down. Also add better error handling
*
generate_parameters.py: Don't overwrite files with identical contents
Jason Gross
2017-10-16
|
*
Prettier json file generation
Jason Gross
2017-10-14
|
*
Generate sz as an int in python2
Jason Gross
2017-10-14
|
*
Add generated json files from generate_parameters.py
Jason Gross
2017-10-14
|
*
Support python2 and python3 in json generation
Jason Gross
2017-10-14
|
*
add file input/output to json-generating script
jadep
2017-10-13
|
*
add support for unsaturated limbs in json-generation
jadep
2017-10-13
|
*
add examples to json-generation file for reference
jadep
2017-10-13
|
*
add script to generate json files given a prime
jadep
2017-10-13