fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	compile X25519 C code from Makefile	Andres Erbsen	2017-06-18
\|
*	Revert PR #203	Jason Gross	2017-06-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	As per https://github.com/mit-plv/fiat-crypto/pull/203#issuecomment-309060964 and https://github.com/mit-plv/fiat-crypto/pull/203#issuecomment-309101747 Revert "update ocq2C sed script" This reverts commit 4a39f39e195b9b7273810a83de78dfd1d150783e. Revert "make display" This reverts commit cbf6d013c533d5165d749d0f9405a15d1ff0b43e. Revert "Make use of CArrayNotations" This reverts commit cae0e80ae76b76091e7fb86fcd794358a4fe55bb. Revert "Fix CArrayNotations" This reverts commit d0d0fbd4499296a2164e209466227892671556f0. Revert "Revert "Revert "Add CArrayNotations""" This reverts commit b2b8403ca76f6fd461d9a71ac2e9add4359bba8c.
*	make display	Jason Gross	2017-06-16
\| \| \| \| \|	Note that the sed rules for addcarryx and sbb need to change, to use arrays.
*	Only use bool in freeze	Jason Gross	2017-05-21
\| \| \| \|	This closes #186
*	fix last wide mul in curve25519-51	Andres Erbsen	2017-05-20
\|
*	make display (with adc, bool)	Jason Gross	2017-05-17
\|
*	disable ANormal form, we now support expression output!	Andres Erbsen	2017-05-14
\|
*	make display (for return statement)	Jason Gross	2017-05-14
\|
*	force carry intermediates to be bound early	Andres Erbsen	2017-05-14
\|
*	specialize squaring earlier	Andres Erbsen	2017-05-14
\|
*	applied micro-optimizations from donna with [transitivity] and [ring] (as ↵	jadep	2017-05-14
\| \| \| \|	per #176)
*	make display	Jason Gross	2017-04-20
\|
*	Add display of square	Jason Gross	2017-04-14