debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Type parameters in method/function signatures are no longer auto-declared. ↵	Rustan Leino	2015-07-02
\| \| \| \| \| \| \| \| \| \| \| \| \|	Although convenient and concise, the auto-declare behavior has on many occasions caused confusion when a type name has accidentally been mistyped (and Dafny had then accepted and auto-declared the name). Note, the behavior of filling in missing type parameters is still supported. This mode, although unusual (even original?) in languages, is different from the auto- declare behavior. For auto-declare, identifiers could be used in the program without having a declaration. For fill-in parameters, the implicitly declared type parameters remain anonymous.
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Disallow automatic completion of type arguments to the LHS of datatype ↵	leino	2014-10-28
\| \| \| \|	declarations
*	Fix type inference bug in data rank comparison when one side can be a TypeVar	Dan Rosén	2014-08-19
\|
*	Consider lambdas literals + create literal axioms when an argument is a function	Dan Rosén	2014-08-18