debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	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)