debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Make functions and predicates be opaque outside the defining module -- only t...	Rustan Leino	2013-07-29
*	Split verification of quantifier expressions into #2 for checked and #1 for a...	Rustan Leino	2013-01-23
*	Dafny: updated test suite to new syntax	Jason Koenig	2012-07-30
*	Dafny: fixed some test cases	Jason Koenig	2012-06-28
*	Dafny: in compiler, respect C#'s different scoping rules and lack of support ...	Unknown	2012-06-14
*	Dafny: Recheck specifications that contain refined (extended) predicates, eve...	Rustan Leino	2012-01-16
*	Dafny: handle refinement of nested tokens that come from SpliExpr (still need...	Rustan Leino	2012-01-12
*	Dafny: allow class-member declarations at top level of any module (not just t...	Rustan Leino	2012-01-10
*	Dafny: added test case for refinement and predicates (and fixed a parsing bug)	Rustan Leino	2012-01-10
*	Dafny: added predicates	Rustan Leino	2012-01-10