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 (
Expand
)
Author
Age
*
Pass -mbmi2 to gcc
Jason Gross
2018-01-19
*
Generate fecarry for solinas
Jason Gross
2018-01-10
*
changes to parameter-generation script
jadep
2017-11-12
*
clang -fbracket-depth=999999
Andres Erbsen
2017-11-03
*
use clang
Andres Erbsen
2017-11-03
*
Make compiler*.sh stable under rebuilding
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
*
Add PRI{u,x}limb for printf formats
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
*
generate_parameters.py: supply dummy a24 of correct length
Andres Erbsen
2017-11-02
*
Update generate parameters to generate feadd, fesub
Jason Gross
2017-11-02
*
Fix generate_parameters
Jason Gross
2017-11-02
*
Update fibe
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
*
Add gmpxx compilation
Jason Gross
2017-11-02
*
Add -D compiler arguments for gmpxx.cpp
Jason Gross
2017-11-02
*
Don't print ".0" for integer bases in the json files
Jason Gross
2017-10-16
*
bugfixes from messy rebase; remade json files
jadep
2017-10-16
*
change limit for max # limbs to allow, add commented-out pretty-printing
jadep
2017-10-16
*
express montgomery-friendly moduli in a more script-friendly way, since we do...
jadep
2017-10-16
*
Fix base generation
Jason Gross
2017-10-16
*
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
*
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