debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Mark old "import A as B" syntax as deprecated. The new syntax is "import A : B"	qunyanm	2016-02-02
*	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
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	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
*	Fixed bug #33.	Rustan Leino	2014-04-19
*	Make functions and predicates be opaque outside the defining module -- only t...	Rustan Leino	2013-07-29
*	Dafny: updated test suite to new syntax	Jason Koenig	2012-07-30
*	Dafny: fixed some test cases	Jason Koenig	2012-06-28
*	Dafny: allow types to be qualified with the name of the module that declares ...	Unknown	2012-06-11
*	Dafny: make full predicate definitions available only inside a module (outsid...	Rustan Leino	2012-01-11
*	Dafny: permanently changed the syntax of "datatype" declarations to what prev...	Rustan Leino	2011-05-27
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny:	rustanleino	2010-03-16