debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
\| \| \| \| \|	We already have separate tests for those, and we want the output to be the same with and without /autoTriggers.
*	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* The reads clause now needs to be self framing. * The requires clause now needs to be framed by the reads clause. * There are one-shot lambdas, with a single arrow, but they will probably be removed. * There is a {:heapQuantifier} attribute to quantifiers, but they will probably be removed. * Add smart handling of type variables * Add < and > for datatype & type parameter
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Dafny: allow definitions and uses of parameter-less predicates to go without ↵	Rustan Leino	2012-01-10
\| \| \| \|	parentheses
*	Dafny: Translate general LHSs for var and := (not yet for call, no ↵	Rustan Leino	2011-05-30
\| \| \| \|	compilation yet)
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
\|
*	Dafny: Allow field selections and array-element selection as LHSs of ↵	Unknown	2011-04-05
\| \| \| \|	assignments where RHS is not just an expression
*	Dafny: added alternate version of PriorityQueue	rustanleino	2011-02-15
\|
*	Dafny: added ensures clauses to functions	rustanleino	2011-02-02
\|
*	Dafny: Added Test/dafny1/PriorityQueue.dfy	rustanleino	2010-12-10