debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	The "choose" statement, hacky and specialized as it was, is now gone. Use ↵	Rustan Leino	2013-03-27
\| \| \| \|	the assign-such-that statement instead. For example: x :\| x in S;
*	Added multiset from sequence axioms, removed array range RHSs. Fixed issue ↵	Jason Koenig	2011-07-13
\| \| \| \|	with duplicate array.Length functions in generated Boogie file.
*	Dafny: changed syntax of havoc statements from "havoc X;" to "X := *;"	Rustan Leino	2011-05-28
\|
*	Dafny: don't require parentheses in syntax of "choose" statements	Rustan Leino	2011-04-05
\|
*	Dafny: Allow field selections and array-element selection as LHSs of ↵	Unknown	2011-04-05
	assignments where RHS is not just an expression