fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
...
*	sh portability fixes in "make c"	Andres Erbsen	2017-06-18
\|
*	remove unused extraction script	Andres Erbsen	2017-06-18
\|
*	"make bench", currently just X25519-C64 (closes #185)	Andres Erbsen	2017-06-18
\|
*	compile X25519 C code from Makefile	Andres Erbsen	2017-06-18
\|
*	make display with new constants	Jason Gross	2017-06-18
\|
*	make display	Jason Gross	2017-06-18
\|
*	make display	Jason Gross	2017-06-18
\|
*	Use uint128_t for 128-bit montgomery	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	add 128-bit display file	Jason Gross	2017-06-17
\|
*	Add 128-bit version of montgomery for testing	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\| \| \| \|	No idea what's going on
*	make display	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	Remove a Print	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	Enable profiling in integration test mont 256	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\|
*	Make display	Jason Gross	2017-06-17
\|
*	Unfold Z.mul_split_at_bitwidth for reification	Jason Gross	2017-06-17
\| \| \| \|	Also reimplement it with a shift and a mask
*	Make display	Jason Gross	2017-06-17
\|
*	Add bool into P256	Jason Gross	2017-06-17
\|
*	make display	Jason Gross	2017-06-17
\| \| \| \|	Need to fix the display of mulsplit and addwithcarry
*	Finish MontgomeryP256 (less conditional subtract)	Jason Gross	2017-06-17
\|
*	Add initial IntegrationTestMontgomeryP256.v	Jason Gross	2017-06-17
\|
*	Fix a typo	Jason Gross	2017-06-17
\|
*	Define m in p256	Jason Gross	2017-06-17
\|
*	Fix spelling	Jason Gross	2017-06-17
\|
*	fix WWMM partial evaluation	Andres Erbsen	2017-06-16
\|
*	Unfold more things in src/Specific/MontgomreyP256	Jason Gross	2017-06-16
\| \| \| \| \|	It seems that something gets unfolded which should not get unfolded. But we no longer block on lists.
*	Switch to using tuples for word-by-word montgomery	Jason Gross	2017-06-16
\| \| \| \| \| \| \|	The new parameterized definitions and proofs are in WordByWord/Abstract/Dependent/; the old ones are untouched (and unused) in WordByWord/Abstract/. I replaced definitions I didn't know how to write in the Saturated API with the use of an axiom.
*	Fix build	Jason Gross	2017-06-16
\|
*	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.
*	update ocq2C sed script	Andres Erbsen	2017-06-16
\|
*	make display	Jason Gross	2017-06-16
\| \| \| \| \|	Note that the sed rules for addcarryx and sbb need to change, to use arrays.
*	Make use of CArrayNotations	Jason Gross	2017-06-16
\|
*	montgomery p256 in Specific WIP	Andres Erbsen	2017-06-16
\|
*	make display	Jason Gross	2017-06-15
\|
*	Finish karatsuba mul, add display file (#199)	Jason Gross	2017-06-15
\| \| \|	This closes #182.
*	ed448 mul: use two carry chains to fix bounds (still silly otherwise)	Andres Erbsen	2017-06-15
\|
*	Show the bounds going wrong in karatsuba	Jason Gross	2017-06-15
\|
*	fix wrong number of limbs for square as well	jadep	2017-06-15
\|
*	fix wrong number of limbs	jadep	2017-06-15
\|
*	Added reduce to karatsuba synthesis	jadep	2017-06-15
\|
*	fix goldilocks karatsuba; TODO implement reduce	Andres Erbsen	2017-06-14
\|
*	Don't unfold id_with_alt	Jason Gross	2017-06-13
\| \| \| \|	Oops
*	Move temporary CNotations import	Jason Gross	2017-06-13
\|