debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Added inductive predicates	leino	2015-05-06
\|
*	When ambiguous references all resolve to the same declaration, don't complain	leino	2015-01-09
\|
*	Fixed range bug that was causing extension to sometimes crash	Bryan Parno	2014-10-27
\|
*	Fixed build break from recent change	leino	2014-07-15
\|
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" ↵	Rustan Leino	2014-02-23
\| \| \| \|	-> "prefix lemma")
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have ↵	Rustan Leino	2013-08-02
\| \| \| \|	a "modifies" clause) and "colemma" (synonymous with "comethod"; perhaps "comethod" will go away at some point)
*	DafnyExtension: Added support for selecting errors and showing the model in BVD.	wuestholz	2013-07-15
\|
*	DafnyExtension: Made it display verification errors incrementally.	wuestholz	2013-06-20
\|
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
\|
*	Improved hover text for collapsed code fragments	Rustan Leino	2012-11-25
\|
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
\|
*	Put all sources under \Source directory	Rustan Leino	2012-10-04