debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	DafnyExtension: various improvements	Unknown	2012-08-16
*	DafnyExtension: fixed more missing cases for hover texts	Unknown	2012-08-15
*	Dafny: added copredicates	Rustan Leino	2012-07-03
*	Dafny: Merge	Jason Koenig	2012-06-27
\|\
* \|	Dafny: Implemented abstract modules	Jason Koenig	2012-06-26
\| *	Dafny: added contracts to IRewriter methods	Unknown	2012-06-22
\|/
*	Dafny: added assign-such-that statements; syntax: x,y,a[i],o.f :\| Expr;	Unknown	2012-03-15
*	Dafny: added ghost modules (the meaning is simply that such a module will not...	Rustan Leino	2012-03-07
*	Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp...	Unknown	2012-03-05