fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add more constant notations	Jason Gross	2017-11-13
\|
*	More granularity in src/Compilers/Z/Bounds/Pipeline/ReflectiveTactics.v	Jason Gross	2017-11-13
\|
*	Split up reflective side condition tactics	Jason Gross	2017-11-13
\| \| \| \|	Now we no longer bundle the side-condition solver with the reifier
*	Add InterpCompose	Jason Gross	2017-11-13
\|
*	Add more constant notations	Jason Gross	2017-11-12
\|
*	Add more constant notations	Jason Gross	2017-11-12
\|
*	Add more constant notations	Jason Gross	2017-11-12
\|
*	Add more constant notations	Jason Gross	2017-11-12
\|
*	add reflexivity to reify autosolve	Jason Gross	2017-11-12
\|
*	Also unfold tuple for reification	Jason Gross	2017-11-11
\|
*	Handle more base types in Z.Reify	Jason Gross	2017-11-10
\|
*	Add more fine-grained cmovnz notations	Jason Gross	2017-11-10
\| \| \| \| \| \|	Builds, but haven't tested the output This closes #265
*	Handle tuples in reification	Jason Gross	2017-11-10
\|
*	Add unfold_flat_interp_tuple	Jason Gross	2017-11-10
\|
*	Use match in flat_interp_{,un}tuple'	Jason Gross	2017-11-10
\| \| \| \| \| \|	This way, when we unfold them, we don't create multiple copies of the argument. This is needed for proper reification of x25519 alternate mul, square code in the new pipeline
*	Make a reification package	Jason Gross	2017-11-07
\|
*	Generalize extended version of IdWithAlt	Jason Gross	2017-11-06
\|
*	Add IdWithAlt to ZExtended	Jason Gross	2017-11-04
\|
*	Add Zsub to extended syntax	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	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 more constant notations	Jason Gross	2017-11-03
\|
*	Add notations for mulx involving uint8_t	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Fix missing cases in previous commit	Jason Gross	2017-11-03
\|
*	Add SubWithGetBorrow with ZExtended	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-03
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Add more constant notations	Jason Gross	2017-11-01
\|
*	Add more constant notations	Jason Gross	2017-11-01
\|
*	Add more constant notations	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
\|