fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Make all parameters implicit	Jasper Hugunin	2018-07-02
\|
*	Backtrack on moving a notation to Notations.v, to fix conflict	Jason Gross	2018-05-06
\|
*	Fix notations to not conflict with bbv	Jason Gross	2018-05-06
\|
*	Don't use vm_compute with existentials	Jason Gross	2018-05-05
\|
*	Update comment	Jason Gross	2018-05-05
\|
*	Fully finish flat_map	Jason Gross	2018-05-05
\|
*	Fix flat_map	Jason Gross	2018-05-05
\|
*	WIP on lists as cons cells	Jason Gross	2018-05-05
\|
*	Remove vinterp_arrow function	Jason Gross	2018-05-05
\|
*	Revert "WIP on inductive base_value"	Jason Gross	2018-05-05
\| \| \| \|	This reverts commit e38faaac1d3996c61d396144e20b8bb41809a253.
*	WIP on inductive base_value	Jason Gross	2018-05-05
\|
*	Revert "WIP with andres, not working pattern language"	Jason Gross	2018-05-05
\| \| \| \|	This reverts commit 2fcf4cd6aabebb3b68cc0a807e5d7c78e9142cb5.
*	WIP with andres, not working pattern language	Jason Gross	2018-05-05
\|
*	Add comment about leaky abstraction	Jason Gross	2018-05-05
\|
*	Split off specialization to base types from specialization to idents	Jason Gross	2018-05-05
\|
*	Add type variables / substitutions	Jason Gross	2018-05-05
\| \| \| \|	This allows more genericness in the ident-specific code
*	Change some notations for more readability by Andres	Jason Gross	2018-05-05
\|
*	Update cast -> annotate	Jason Gross	2018-05-05
\|
*	Parameterize over types and identifiers	Jason Gross	2018-05-05
\|
*	Add notes	Jason Gross	2018-05-05
\|
*	Add partial evaluation	Jason Gross	2018-05-05
\|
*	Some experiments with partial evaluation with letin without cps	Jason Gross	2018-05-05
	Jason & Andres