debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...	Rustan Leino	2014-03-17
*	Fixed bug in DafnyExtension (hover text computation would crash if Translator...	Rustan Leino	2014-02-06
*	Mark auto-generated expressions (in "decreases" clauses) and don't use these ...	Rustan Leino	2014-02-04
*	Manually adjusted merge	Rustan Leino	2014-01-08
*	Compute default decreases clauses in Resolver instead of in the Translator.	Rustan Leino	2013-12-19
*	DafnyExtension: Added support for displaying values from the model as hover t...	wuestholz	2013-07-30
*	DafnyExtension: Added support for selecting errors and showing the model in BVD.	wuestholz	2013-07-15
*	DafnyExtension: Added support for collecting additional information during re...	wuestholz	2013-07-15
*	DafnyExtension: Made it display verification errors incrementally.	wuestholz	2013-06-20
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
*	In Visual Studio interface, highlight variable definitions of let expressions	Rustan Leino	2013-05-12
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04
*	Improved Dafny Extension display of destructors	Rustan Leino	2012-11-19
*	Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD	Rustan Leino	2012-10-30
*	Hover text for iterator declarations (and not for the methods they generate)	Rustan Leino	2012-10-04
*	More free antecedents when proving well-formedness of iterator specs	Rustan Leino	2012-10-04
*	Put all sources under \Source directory	Rustan Leino	2012-10-04