debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Undo bad merge.	afd	2012-06-27
*	Merged with default.	chmaria	2012-06-18
\|\
\| *	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
* \|	Dafny: Added tests.	chmaria	2012-06-12
\|/
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid...	Rustan Leino	2011-05-11
*	Dafny: Allow field selections and array-element selection as LHSs of assignme...	Unknown	2011-04-05
*	Dafny: Added support for an initializing call as part of the new-allocation s...	rustanleino	2011-03-27
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Dafny: Fixed error in printing an error message. Changed "function method" ...	rustanleino	2011-01-11
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
*	Dafny: Updated VSComp2010/Answer to correspond to recently updated test file	rustanleino	2010-11-21
*	Chalice: white space delta in test file	rustanleino	2010-11-17
*	Dafny:	rustanleino	2010-09-17
*	Dafny: Added Dafny solutions to the VSComp 2010 problems	rustanleino	2010-09-01