fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	python3 generate_parameters.py primes.txt; pushd ↵	Jason Gross	2017-11-02
\| \| \| \|	src/Specific/CurveParameters/; ./remake_curves.sh -f; popd
*	Add gmpxx compilation	Jason Gross	2017-11-02
\|
*	Add -D compiler arguments for gmpxx.cpp	Jason Gross	2017-11-02
\|
*	Add generated-py-bench target	Jason Gross	2017-11-02
\| \| \| \| \| \|	This target runs montladder.py for each curve cc @andres-erbsen
*	Add generated py_interpreter.sh files	Jason Gross	2017-11-02
\|
*	Generate py_interpreter.sh	Jason Gross	2017-11-02
\|
*	Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.py	Jason Gross	2017-11-02
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	autogenerated c files don't have corresponding .h files	Jason Gross	2017-11-02
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Better generation of autogenerated c files	Jason Gross	2017-11-02
\| \| \| \|	Also move bench framework to src/Specific/Framework/bench/
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Extract correct bitwidth of functions for c code	Jason Gross	2017-11-02
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Update display logs	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Update display logs	Jason Gross	2017-11-02
\|
*	Update display logs	Jason Gross	2017-11-01
\|
*	Add more constant notations	Jason Gross	2017-11-01
\|
*	Update display logs	Jason Gross	2017-11-01
\|
*	Add cps versions of id_with_alt	Jason Gross	2017-11-01
\|
*	Update display logs	Jason Gross	2017-11-01
\|
*	Update display logs	Jason Gross	2017-11-01
\|
*	Add more constant notations	Jason Gross	2017-11-01
\|
*	Update display logs	Jason Gross	2017-11-01
\|
*	Add more constant notations	Jason Gross	2017-11-01
\|
*	Make use of from_associational_cps in more places	Jason Gross	2017-11-01
\|
*	More use of Z.eqb_cps	Jason Gross	2017-11-01
\|
*	Switch to AddWithGetCarry in ZExtended	Jason Gross	2017-10-31
\|
*	Add MapBaseType	Jason Gross	2017-10-31
\|
*	Add unextend_op	Jason Gross	2017-10-31
\|
*	Generalize MapBaseType a bit	Jason Gross	2017-10-31
\|
*	Add invert_PairsConst_gen	Jason Gross	2017-10-31
\|
*	add ZToSignedWord, signedWordToZ	Jason Gross	2017-10-31
\|
*	Add wneg_inj	Jason Gross	2017-10-31
\|
*	Fix ZToWord, add wring_eq_ext, speed up some proofs	Jason Gross	2017-10-31
\|
*	Add Bedrock.Word.ZToWord	Jason Gross	2017-10-31
\|
*	Remove trailing spaces	Jason Gross	2017-10-31
\|
*	Bump coq submodule	Jason Gross	2017-10-31
\|
*	Fix smithers build	Jason Gross	2017-10-31
\|
*	fibe: WIP scalarmult for benchmarking field operations	Andres Erbsen	2017-10-31
\|
*	Update display logs	Jason Gross	2017-10-31
\|
*	Update display logs	Jason Gross	2017-10-31
\|
*	Add more constant notations	Jason Gross	2017-10-31
\|
*	Update display logs	Jason Gross	2017-10-29
\|