debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ...	Rustan Leino	2013-03-27
*	Compilation of (many common) assign-such-that statements.	Rustan Leino	2013-03-26
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Added Equals method on Type	Rustan Leino	2013-02-20
*	First take on calc expressions.	Nadia Polikarpova	2013-02-14
*	Added parsing and resolution of a new let-such-that expression. Translation h...	Rustan Leino	2013-01-21
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	improved and fixed compilation and resolution of assign-such-that statements	Rustan Leino	2012-10-05
*	Put all sources under \Source directory	Rustan Leino	2012-10-04