fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Pass -mbmi2 to gcc	Jason Gross	2018-01-19
\| \| \| \| \|	This will hopefully fix the issue where travis gcc complains about not being able to inline mulx. I hope.
*	Add .c and .log files	Jason Gross	2018-01-15
\|
*	Add x25519 donna versions with the new way of generating C code	Jason Gross	2018-01-15
\|
*	Add some fecarry .log files	Jason Gross	2018-01-10
\|
*	Add some fecarry .log and .c files	Jason Gross	2018-01-10
\|
*	Generate fecarry for solinas	Jason Gross	2018-01-10
\| \| \| \| \| \| \|	This is a one-line change in generate_parameters.py (plus some whitespace trimming), and running `make regenerate-curves` This handles part of #294
*	make src/Specific/solinas64_2e255m19_5limbs/*.c	David Benjamin	2018-01-08
\| \| \| \| \|	Also refresh things after PR#289. This too just updated the comments, as expected.
*	make src/Specific/solinas32_2e255m19_10limbs/*.c	David Benjamin	2018-01-05
\| \| \| \| \|	Refresh things after PR#289, though that just updated the comments, as expected.
*	Handle the fact that we haven't forbidden TWord 3	Jason Gross	2018-01-05
\| \| \| \| \|	We do this by adding notations for addcarryx and subborrow for all of the smaller-than-max-bitwidth sizes of arguments.
*	Print bool as uint8_t	Jason Gross	2018-01-05
\| \| \| \|	This handles bullet point 1 of #288
*	make selected-specific-display for permit `TWord 0`	Jason Gross	2018-01-05
\| \| \| \|	This handles bullet 2 of #288
*	Permit `TWord 0`	Jason Gross	2018-01-05
\| \| \| \|	This handles bullet 2 of #288
*	Add support for {addcarryx,subborrow}_u{25,26}	Jason Gross	2018-01-02
\| \| \| \| \| \| \| \| \| \| \|	This closes #286 This is actually a +1,-1 diff in the python script generating the notations, plus running it and rebuilding: ```diff -ADD_CARRY_SUB_BORROW_SIZES = (32, 64, 128, 51) +ADD_CARRY_SUB_BORROW_SIZES = (32, 64, 128, 25, 26, 51) ```
*	Update display logs and c files	Jason Gross	2017-11-17
\|
*	Update display logs and c files	Jason Gross	2017-11-17
\|
*	Update display logs and c files	Jason Gross	2017-11-16
\|
*	build src/Specific/montgomery64_2e510m290x2e496m1_8limbs/femul.c	Andres Erbsen	2017-11-16
\|
*	Update display logs and c files	Jason Gross	2017-11-16
\|
*	Update display logs and c files	Jason Gross	2017-11-15
\|
*	Add a bunch of missing fesquare files	Jason Gross	2017-11-15
\| \| \| \| \|	I (or someone else?) forgot to `git add` them when invoking remake_curves.
*	build two montgomery files, including 32-bit p256	Andres Erbsen	2017-11-15
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Revert "first batch benchmarks stash"	Andres Erbsen	2017-11-13
\| \| \| \|	This reverts commit b4a574666c0b7e9a761f95cfdafc7bb2f5e50cfc.
*	first batch benchmarks stash	Andres Erbsen	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|