debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Dafny: added resolution tests cases for inductive datatypes	Unknown	2012-04-27
\|
*	Dafny: fixed resolution bug for inductive datatypes (previous check did not ↵	Unknown	2012-04-25
	handle generic datatypes correctly) Dafny: fixed compiler bug in inductive datatypes (missing type parameters in emitted code) Dafny: added "codatatype" declaration (syntax only for now)