debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Added "modify" statement.	Rustan Leino	2014-04-03
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...	Rustan Leino	2014-02-23
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
*	Allow calls to side-effect-free ghost methods from expressions	Rustan Leino	2013-08-06
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	Add support for hexidecimal numbers.	parno	2013-07-30
*	Fixed parsing bug in "if" and "while" guards	Rustan Leino	2013-07-10
*	Made the semi-colon after "type" and "module" declarations optional.	Rustan Leino	2013-05-10
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	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
*	"!!" can now be parsed as two "!". More concise parsing for "!in".	Nadia Polikarpova	2013-02-07
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Improved error message for making the mistake of saying 'returns' instead of ...	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
*	New feature:	Rustan Leino	2012-10-11
*	Put all sources under \Source directory	Rustan Leino	2012-10-04