debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed ↵	wuestholz	2011-07-15
\| \| \| \|	some trailing whitespace.
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to ↵	mikebarnett	2011-03-10
\| \| \| \| \| \|	dictionaries are non-null, which is enforced by the implementation of Dictionary. Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.
*	Dafny: white-space deltas in source code	rustanleino	2011-02-02
\|
*	Dafny: Fixed some build issues with duplicated and malformed Code Contracts.	rustanleino	2011-01-13
\|
*	More line ending fixups.	MichalMoskal	2010-08-06
\|
*	Dafny: Port commit part 1/2: Committing changed files.	tabarbe	2010-08-03
\| \| \| \|	Do not attempt to regenerate the Parser and Scanner files before the port of Boogie/Core is done, as these have undergone changes, but will not be committed until after the Core port.
*	Dafny: Renaming the DafnyPipeline source files in preparation for the commit ↵	tabarbe	2010-08-03
	of my port of that project.