debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Language change: All functions and methods declared lexically outside any ↵	leino	2014-12-12
\| \| \| \| \| \| \| \| \| \|	class are now automatically static, and fields are no longer allowed to be declared there. Stated differently, all heap state must now be declared inside an explicitly declared class, and functions and methods declared outside any class can be viewed as belonging to the module. The motivating benefit of this change is to no longer need the 'static' keyword when declaring a module of functions and methods.
*	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
\| \| \| \|	-> "prefix lemma")
*	Disallow call-graph clusters that mix co-methods / prefix methods with other ↵	Rustan Leino	2013-08-04
\| \| \| \| \| \|	things. Disallow call-graph clusters that mix co-predicates / prefix predicates with other things.
*	Some additional resolution checks for co stuff.	Unknown	2013-01-18
\| \| \| \|	Beefed up some test cases.
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
\| \| \| \|	Added syntactic support for codatatype #-form equalities.
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04
	(Missing from the co support are (prefix) equalities of codatatypes, various restrictions on the use of co/prefix-predicates, and tactic support for applying the (prefix-)induction automatically.)