fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Fix a mis-aligned comment marker in CNotations script	Jason Gross	2017-07-03
\|
*	change notation `_ == _ ? _ : _ ` to `cmovznz(_, _, _)`	Jason Gross	2017-06-29
\| \| \| \|	This closes #228
*	Fix comment-in-string issues	Jason Gross	2017-06-29
\|
*	More C Notations for uin8_t-valued addcarryx	Jason Gross	2017-06-29
\|
*	Add notation for logical or	Jason Gross	2017-06-22
\|
*	Add more Z-notations	Jason Gross	2017-06-20
\|
*	Fix typo in format	Jason Gross	2017-06-18
\|
*	Add fake notation for addcarryx_u128 and similar	Jason Gross	2017-06-18
\|
*	Add some notations for mulx	Jason Gross	2017-06-18
\|
*	Add cnotations for addcarryx with uint8_t	Jason Gross	2017-06-18
\|
*	Add notations	Jason Gross	2017-06-18
\|
*	Display Z operations with ℤ attached	Jason Gross	2017-06-15
\| \| \| \|	This is the lighter-weight solution to #197.
*	Fix a major bug in C-notation printing	Jason Gross	2017-06-13
\| \| \| \| \| \| \|	Binary operations with casts were wrongly parenthesized. Luckily, this impacted nothing in A-normal form, and it impacted nothing that is currently displayed. It does, however, impact the display of karatsuba mul.
*	Add sbb notations to CNotations	Jason Gross	2017-05-20
\| \| \| \| \| \| \| \| \|	After \| File Name \| Before \|\| Change ------------------------------------------------------------------------ 0m01.14s \| Total \| 0m01.29s \|\| -0m00.14s ------------------------------------------------------------------------ 0m00.79s \| Compilers/Z/CNotations \| 0m00.87s \|\| -0m00.07s 0m00.36s \| Specific/IntegrationTestDisplayCommon \| 0m00.42s \|\| -0m00.06s
*	Add notations for adc	Jason Gross	2017-05-17
\| \| \| \|	This closes #173
*	Zselect notation	Jason Gross	2017-05-17
\|
*	Add a reserved C notation	Jason Gross	2017-05-14
\|
*	Stick 'return' at the end of printed functions	Jason Gross	2017-05-14
\|
*	Add constant, support pair-returning assignment	Jason Gross	2017-05-14
\|
*	Update C notations	Jason Gross	2017-04-20
\| \| \| \|	Now we only cast one operand when we can do that.
*	Update display of ladderstep130	Jason Gross	2017-04-14
\|
*	rename-everything	Andres Erbsen	2017-04-06