debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
*	Fix lit headers implicitly relying on bash-style constructs	Clément Pit--Claudel	2015-06-08
*	Allow let-such-that expression to be compiled, provided that they provably ha...	leino	2015-03-13
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
*	Fixed bug with substitutions in let-such-that expressions. This cures Issue 22.	Rustan Leino	2013-07-04
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Dafny: fixed well-formedness checking of LET expressions to allow the RHS to ...	Rustan Leino	2012-02-29
*	Dafny: Fixed a bug in the printing of let expressions.	wuestholz	2012-01-24
*	Dafny: added let expressions (syntax: "var x := E0; E1")	Rustan Leino	2011-11-14