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;
*	Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ↵	Rustan Leino	2013-03-27
\| \| \| \| \| \|	in compiling assign-such-that statements Added run-time support for printing sets, multisets, maps, and sequences
*	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
\| \| \| \|	around the bound variables optional.
*	Added Equals method on Type	Rustan Leino	2013-02-20
\| \| \| \| \|	Fixed some precondition violations Various improvements in Contracts
*	First take on calc expressions.	Nadia Polikarpova	2013-02-14
\|
*	Added parsing and resolution of a new let-such-that expression. Translation ↵	Rustan Leino	2013-01-21
\| \| \| \|	has yet to be implemented.
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
\| \| \| \|	Added syntactic support for codatatype #-form equalities.
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
\| \| \| \|	renamed "ghost module" to "abstract module", adding a keyword "abstract"
*	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