debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Refactor resolver, and really allow reads to take fields of type A -> set<obj>	Dan Rosén	2014-08-15
\| \| \| \|	twoState and codeContext is moved to a new class ResolveOpts
*	Add the VectorUpdate example	Dan Rosén	2014-08-14
\|
*	Make arrow types not look like reference types for the resolver	Dan Rosén	2014-08-14
\|
*	Reword error message for type error in lambda requires clause	Dan Rosén	2014-08-14
\|
*	Add lambda compilation example, and remove some unused files from the tests	Dan Rosén	2014-08-13
\|
*	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
\|
*	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
	* The reads clause now needs to be self framing. * The requires clause now needs to be framed by the reads clause. * There are one-shot lambdas, with a single arrow, but they will probably be removed. * There is a {:heapQuantifier} attribute to quantifiers, but they will probably be removed. * Add smart handling of type variables * Add < and > for datatype & type parameter