debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Stricter rules about that types need to be completely resolved.	leino	2014-10-08
\| \| \| \| \| \|	Renamed "default constructor" to "anonymous constructor" (since there's really nothing "default" about it). If the type of literal "null" is unresolved, make the type "object". The need to translate unresolved proxies is now assumed to be gone.
*	Support for non-constrained derived types ("new types").	leino	2014-08-21
\| \| \| \| \|	Arbitrary conversion from int/real to derived types not yet supported. Changed rules about numeric type conversions to allow conversions from any numeric type.
*	Handle underscores in lambda bound variable lists properly	Dan Rosén	2014-08-19
	+ add a test case with lambdas that don't get their types fully specified