debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
*	This changeset changes the default visibility of a function/predicate body ou...	leino	2015-03-09
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	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