debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Added "inductive lemma" methods	leino	2015-05-07
\|
*	Added inductive predicates	leino	2015-05-06
\|
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Fixed some checking of recursive method/copredicate calls	Rustan Leino	2014-02-23
\|
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" ↵	Rustan Leino	2014-02-23
\| \| \| \|	-> "prefix lemma")
*	Allow co-predicates to be wrapped inside bounded existential quantifiers	Rustan Leino	2013-08-04
\|
*	Fixed the problem with the previous check-in.	Rustan Leino	2013-01-18
\|
*	Change the encoding of proof certificates to make the two levels explicit	Unknown	2012-10-12
\| \| \| \|	Restrict what conclusions comethods are allowed to have
*	Dafny: added copredicates	Rustan Leino	2012-07-03
\|
*	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)