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
*	This changeset changes the default visibility of a function/predicate body ou...	leino	2015-03-09
*	Fixed bug in opaque functions with type parameters	leino	2015-01-07
*	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
*	Fix a bug in the interaction between opaque and generics	Bryan Parno	2014-01-23
*	Don't expand {:opaque} for inherited functions. (Note, more design is still ...	Rustan Leino	2013-12-17
*	Don't inline opaque functions.	Rustan Leino	2013-12-17
*	Make functions and predicates be opaque outside the defining module -- only t...	Rustan Leino	2013-07-29