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
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Added further assistance in coming up with decreases clauses in SCCs with co-...	Rustan Leino	2014-02-24
*	Refactored code for dealing with SCCs in the call graph.	Rustan Leino	2014-02-24
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	Co-recursion, now sounder than ever!	Rustan Leino	2013-07-30
*	Fixed soundness bug with co-recursive calls: co-recursive calls may now no l...	Rustan Leino	2013-06-29
*	Fixed unsoundness (and also allowed other, sound cases) in the admissability ...	Rustan Leino	2013-06-28
*	changed default decreases clause for functions with a reads clause: use the r...	Rustan Leino	2012-10-04
*	Dafny: more correct checking of co-inductive productivity	Unknown	2012-05-18
*	Dafny: added support for co-recursive calls	Rustan Leino	2012-05-01