fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Import prim token notations before using them	Jason Gross	2018-08-24
\| \| \| \| \| \| \| \| \| \| \|	This is required for compatibility with https://github.com/coq/coq/pull/8064, where prim token notations no longer follow `Require`, but instead follow `Import`. c.f. https://github.com/coq/coq/pull/8064#issuecomment-415493362 Almost all changes were made via https://gist.github.com/JasonGross/5d4558edf8f5c2c548a3d96c17820169#file-fix-py
*	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
\|
*	Fix missing cases in previous commit	Jason Gross	2017-11-03
\|
*	Add SubWithGetBorrow with ZExtended	Jason Gross	2017-11-03
\|
*	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
\|
*	Add InlineConstAndOpByRewrite	Jason Gross	2017-10-23
\|
*	Add inline_const_and_op{f,} specializations	Jason Gross	2017-10-22
\|
*	Add ZExtended/InlineConstAndOp.v	Jason Gross	2017-10-22
\|
*	Add ZExtended/Syntax.v	Jason Gross	2017-10-20