debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Change the induction heuristic for lemmas to also look in precondition for ↵	leino	2015-08-12
\| \| \| \| \| \|	clues about which parameters to include. As a result, improved many test cases (see, e.g., dafny4/NipkowKlein-chapter7.dfy!) and beautified some others.
*	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
\|
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" ↵	Rustan Leino	2014-02-23
\| \| \| \|	-> "prefix lemma")
*	Added some test cases: theorem about infinite and finite trees.	Rustan Leino	2013-07-27