debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Make reveal axioms from opaque functions quantify over layers	Dan Rosén	2014-07-10
\|
*	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Added support for opaque function definitions, indicated via the {:opaque} ↵	Bryan Parno	2013-12-13
\| \| \| \| \| \| \| \|	attribute. Dafny cannot see the body of opaque function foo() unless you call the (automatically generated) lemma reveal_foo(). This can be helpful in preventing Dafny from spending unnecessary time thinking about the body of a function.
*	Fixed let-such-that and if-then-else encodings so that they will pass the ↵	Rustan Leino	2013-02-21
\| \| \| \|	subrange tests
*	Dafny: fixed bug in checking postconditions of functions that mention the ↵	Unknown	2012-08-29
\| \| \| \|	result the function itself
*	Dafny: permanently changed the syntax of "datatype" declarations to what ↵	Rustan Leino	2011-05-27
\| \| \| \|	previously was an alternative syntax
*	Dafny: allow self-calls in function postconditions--these simply refer to ↵	rustanleino	2011-02-03
	the result value of the current call