fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	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 ↵	jadep	2017-10-16
\| \| \| \|	don't have extra support for them anyway
*	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
\| \| \| \| \| \| \|	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