debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Dafny: updated test suite to new syntax	Jason Koenig	2012-07-30
\|
*	Dafny: fixed some test cases	Jason Koenig	2012-06-28
\|
*	Dafny: make sure assume->assert transformation gives rise to a check	Rustan Leino	2012-02-19
\|
*	Dafny: added syntactic support for ...'s in statements, and started ↵	Unknown	2012-02-18
\| \| \| \|	implementation of refinement transformations thereof
*	Dafny: allow signatures to be omitted on refining functions/methods	Unknown	2012-02-16
\|
*	Dafny: improved error location for violations of function postconditions	Rustan Leino	2012-01-18
\|
*	Dafny: allow a refinement to provide a function/method body if the ↵	Rustan Leino	2012-01-18
\| \| \| \|	function/method being refined didn't have one
*	Dafny: added signature checking to refinement	Rustan Leino	2012-01-17
\|
*	Dafny: allow class-member declarations at top level of any module (not just ↵	Rustan Leino	2012-01-10
\| \| \| \|	the default module); these go into the (new) default class of each module
*	Dafny: added test case for refinement and predicates (and fixed a parsing bug)	Rustan Leino	2012-01-10
\|
*	Dafny: added support for simple superposition refinements	Rustan Leino	2012-01-09
\|
*	Dafny: added assertions in the refinement obligation necessitating that the ↵	kyessenov	2010-07-03
\| \| \| \|	return values of concrete and abstract executions are equal. Refactored a test to simulate "static" function call.
*	Dafny: Support class type parameters in refinements. Added another ↵	kyessenov	2010-07-02
\| \| \| \|	regression test -- a sequence refined by a singly linked list.
*	Dafny: added Carrol Morgan's calculator regression test.	kyessenov	2010-07-02