debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Merge	Rustan Leino	2011-05-13
\|\
* \|	Dafny: fixed bugs in resolution of multi-dimensional arrays	Rustan Leino	2011-05-12
* \|	Dafny: forbid "decreases *" on ghost loops	Rustan Leino	2011-05-12
\| *	Dafny:	Rustan Leino	2011-05-11
\|/
*	Dafny: added type "nat"	Rustan Leino	2011-04-19
*	Dafny: Allow field selections and array-element selection as LHSs of assignme...	Unknown	2011-04-05
*	Dafny: refactoring to soon support more general assignment statements	rustanleino	2011-03-29
*	Dafny: Added support for an initializing call as part of the new-allocation s...	rustanleino	2011-03-27
*	Dafny: added "choose" operator on sets	rustanleino	2011-03-26
*	Dafny: improved and corrected physical/ghost distinction	rustanleino	2011-03-26
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Dafny:	rustanleino	2011-03-04
*	Dafny: support for nested match expressions	rustanleino	2011-03-01
*	Dafny: Non-empty Visual-Studio error messages for related split-expr locations.	rustanleino	2011-02-27
*	Dafny:	rustanleino	2011-02-17
*	Dafny: white-space deltas in source code	rustanleino	2011-02-02
*	Dafny: added ensures clauses to functions	rustanleino	2011-02-02
*	Dafny: Fixed error in printing an error message. Changed "function method" ...	rustanleino	2011-01-11
*	Dafny: Record source positions of start/end curly braces for declaration con...	rustanleino	2010-10-27
*	Dafny:	rustanleino	2010-09-17
*	Dafny:	rustanleino	2010-09-14
*	More line ending fixups.	MichalMoskal	2010-08-06
*	Dafny: Port commit part 1/2: Committing changed files.	tabarbe	2010-08-03
*	Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...	tabarbe	2010-08-03