debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	Dafny: reinstated autocontracts	Jason Koenig	2012-07-02
*	Dafny: fixed up test suite (temporarily removed autocontract tests)	Jason Koenig	2012-06-28
*	Undo bad merge.	afd	2012-06-27
*	Merge	Unknown	2012-06-25
\|\
\| *	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
* \|	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: removed a now-inferred type-parameter instantiation in a test file	Unknown	2012-03-07
*	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
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Added Dafny solutions to the VSTTE 2012 program verification competition	Rustan Leino	2011-11-15