fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add support for custom intro tactic in ring pkg, for speed	Jason Gross	2017-11-17
\|
*	Add ModInv autosolver	Jason Gross	2017-11-16
\|
*	Add autosolve admit package	Jason Gross	2017-11-12
\|
*	More modularity in autosolve	Jason Gross	2017-11-10
\|
*	Separate case for handling option matches in autosolve	Jason Gross	2017-11-10
\|
*	Add cbn [val] in autosolve	Jason Gross	2017-11-10
\|
*	Better way (hopefully) of projecting relation from evar package	Jason Gross	2017-11-07
\|
*	Add notation for optional_evar_rel_package	Jason Gross	2017-11-07
\|
*	Add support for autosolve packages with options	Jason Gross	2017-11-07
\| \| \| \| \| \|	Following a suggestion from Adam to give default values for the options, which I do here by pushing the convoy pattern very deep into the structure of the automation, and hiding it there.
*	Allow pre-unfolding of autosolve things	Jason Gross	2017-11-07
\|
*	Factor packages through evar_Prop_package, raw_evar_package	Jason Gross	2017-11-07
\|
*	A bit more reorganization of autosolve	Jason Gross	2017-11-07
\| \| \| \|	This lets other files import evar_package without having to be rebuilt every time a new package alias is added to Autosolve
*	Move SideConditionFramework	Jason Gross	2017-11-07