debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Beefed up assign/let-such-that to generate possible witnesses for ↵	Rustan Leino	2013-03-25
\| \| \| \| \| \| \|	set/multiset/sequence/map display expressions Run SmallTests.dfy and LetExpr.dfy only once in the test suite Fixed some translation bugs (and a pretty-printing bug) for map display expressions
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
\|
*	Added the <== operator.	Nadia Polikarpova	2013-03-14
\|
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ↵	Rustan Leino	2013-03-06
\| \| \| \|	around the bound variables optional.
*	Pretty print the new parentheses-less "if" and "while" statements as such.	Rustan Leino	2013-02-21
\|
*	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.
*	Added some co- test cases. Fixed some bugs.	Rustan Leino	2013-01-20
\|
*	Create prefix methods during resolution, not translation.	Unknown	2013-01-18
\| \| \| \|	NOTE: The test suite does not pass right now. Will be fixed soon.
*	Some additional resolution checks for co stuff.	Unknown	2013-01-18
\| \| \| \|	Beefed up some test cases.
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
\| \| \| \|	Added syntactic support for codatatype #-form equalities.
*	Corrected pretty printing of 'comethod'	Rustan Leino	2012-11-25
\|
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
\|
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
\| \| \| \|	renamed "ghost module" to "abstract module", adding a keyword "abstract"
*	Support default (which, here, means nameless) class-instance constructors	Rustan Leino	2012-10-05
\|
*	Hover text for iterator declarations (and not for the methods they generate)	Rustan Leino	2012-10-04
\|
*	Put all sources under \Source directory	Rustan Leino	2012-10-04