fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	remove old pipeline	Andres Erbsen	2019-01-09
\|
*	Fix incorrect overridding of bool notations	Jason Gross	2018-01-05
\| \| \| \| \| \| \|	This notation system is fragile and kludgy. This discovered from @davidben's https://github.com/mit-plv/fiat-crypto/pull/289/commits/ff0fb38346dde67abef982d6305595216d18519b#r159793723
*	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.
*	Remove TWord 3 based addcarryx, subborrow	Jason Gross	2018-01-05
\| \| \| \|	This handles bullet 3 of #288
*	Print bool as uint8_t	Jason Gross	2018-01-05
\| \| \| \|	This handles bullet point 1 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 CNotations	Jason Gross	2018-01-02
\| \| \| \| \| \|	This makes it easier to add support for more kinds of addcarryx, etc, and also add `: expr_scope` to work around changes from https://github.com/coq/coq/pull/873
*	Add more fine-grained cmovnz notations	Jason Gross	2017-11-10
\| \| \| \| \| \|	Builds, but haven't tested the output This closes #265
*	Fix error in generated C notations	Jason Gross	2017-11-03
\| \| \| \| \|	It's the final argument, not the second-to-final argument, that needs to be a particular size
*	Add preformatting for casts of mulx	Jason Gross	2017-11-03
\|
*	Add notations for mulx involving uint8_t	Jason Gross	2017-11-03
\|
*	Turn on parenthetization in C output	Jason Gross	2017-10-17
\|
*	Unify notation printing to allow changing it all at once	Jason Gross	2017-10-17
\|
*	Add support for parenthesizing all CNotations expressions	Jason Gross	2017-10-16
\|
*	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