debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fixed bugs in the parsing of explicit type arguments.	Rustan Leino	2015-07-16
\| \| \| \| \|	Fixed resolution bug where some type arguments were not checked to have been determined. Fixed resolution bugs where checking for equality-supporting types was missing.
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Check for proper use of equality-supporting types also in local variables ↵	leino	2014-08-13
\| \| \| \|	and forall statements, and more expressions
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Datatypes with ghost fields (that is, with constructors with ghost ↵	Rustan Leino	2013-07-09
\| \| \| \| \| \|	parameters) do not support equality, since the ghost fields will be erased during compilation. Allow any equalities to be passed in for ghost parameters.
*	Dafny: fixed some test cases	Jason Koenig	2012-06-28