debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Dafny: added Flatten example to test suite	Rustan Leino	2011-09-11
*	Dafny: Fixed a bug in the printer that led to a stack overflow.	wuestholz	2011-08-11
*	Merge	Rustan Leino	2011-05-13
\|\
\| *	Dafny:	Rustan Leino	2011-05-11
* \|	Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid...	Rustan Leino	2011-05-11
\|/
*	Dafny: fixed bug in induction over integers	Unknown	2011-04-04
*	Dafny:	rustanleino	2011-03-06
*	Dafny:	rustanleino	2011-03-04
*	Dafny: added ExtensibleArray program as a test	rustanleino	2011-02-16
*	Dafny: Added Test/dafny1/PriorityQueue.dfy	rustanleino	2010-12-10
*	Boogie:	rustanleino	2010-10-26
*	Dafny:	rustanleino	2010-09-17
*	Dafny: Axiom about inverting a set union operation, similar to the recent on...	rustanleino	2010-07-09
*	Dafny:	rustanleino	2010-06-24
*	Boogie:	rustanleino	2010-06-08