debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	fixed and improved scheme for inferring type parameters	Rustan Leino	2012-10-19
\|
*	Dafny: allow various forms of leaving off type arguments in declarations	Rustan Leino	2012-02-16