debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration	Bryan Parno	2014-01-03
*	Changed the iterator class hover text back to the iterator name (which is con...	Rustan Leino	2013-12-20
*	Added an .EndTok for every statement. (Note, in some places, especially in V...	Rustan Leino	2013-12-19
*	Added support for opaque function definitions, indicated via the {:opaque} at...	Bryan Parno	2013-12-13
*	Merged PredicateExpr and CalcExpr into a single StmtExpr	Rustan Leino	2013-08-06
*	Added hover text ("additional information") in places where co-methods provid...	Rustan Leino	2013-08-04
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	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
*	Added some co- test cases. Fixed some bugs.	Rustan Leino	2013-01-20
*	Fixed the problem with the previous check-in.	Rustan Leino	2013-01-18
*	Create prefix methods during resolution, not translation.	Unknown	2013-01-18
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	some code clean-up	Rustan Leino	2012-10-18
*	New feature:	Rustan Leino	2012-10-11
*	Support default (which, here, means nameless) class-instance constructors	Rustan Leino	2012-10-05
*	Put all sources under \Source directory	Rustan Leino	2012-10-04