debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Dafny: generate a compiler error upon encountering an assume statement	Rustan Leino	2011-09-11
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	- fixed a bug in DafnyModelUtils.fs (reading set values from models)	Unknown	2011-07-11
*	Added option to force Dafny compilation, even if verification fails.	Jason Koenig	2011-06-30
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Dafny: Non-empty Visual-Studio error messages for related split-expr locations.	rustanleino	2011-02-27
*	Dafny: Improved scheme for splitting expressions. Also, report each split i...	rustanleino	2011-02-19
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Dafny: white-space deltas in source code	rustanleino	2011-02-02
*	Add functions generated in lambda-expansion of function body to top-level pro...	MichalMoskal	2010-12-17
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01
*	Dafny:	rustanleino	2010-09-14
*	Dafny: Made line endings consistent	tabarbe	2010-08-04
*	Dafny: Removed trailing spaces in code	tabarbe	2010-08-04
*	Dafny: DafnyDriver port part 1/3: Replacing old source files with ported version	tabarbe	2010-07-28
*	Dafny/DafnyDriver: Renaming source files in preparation for port commit	tabarbe	2010-07-28