debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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 bugs in co-call checks	Rustan Leino	2014-02-23
*	Added another colemma-calls-function-recursively test	Rustan Leino	2014-02-23
*	Fixed some checking of recursive method/copredicate calls	Rustan Leino	2014-02-23
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...	Rustan Leino	2014-02-23
*	Disallow call-graph clusters that mix co-methods / prefix methods with other ...	Rustan Leino	2013-08-04
*	Some additional resolution checks for co stuff.	Unknown	2013-01-18
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04