debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	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
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
*	Dafny: re-ran parser generator to include semicolon-less body-less functions/...	Rustan Leino	2011-07-26
*	Fixed regression test failures due to removal of bodiless methods and functions.	Jason Koenig	2011-07-15
*	Dafny: allow constructors only inside classes, removed semi-colons at end of ...	Rustan Leino	2011-07-11
*	Dafny: don't require parentheses in syntax of "choose" statements	Rustan Leino	2011-04-05
*	Dafny: added "choose" operator on sets	rustanleino	2011-03-26
*	Dafny: improved and corrected physical/ghost distinction	rustanleino	2011-03-26
*	Dafny: Fix type bug in SplitExpr translation.	rustanleino	2010-06-08
*	Boogie:	rustanleino	2010-06-08