debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
\|
*	fixed bug in extract loops by ensuring that loop extraction is done in ↵	qadeer	2010-09-01
\| \| \| \|	nesting order
*	Boogie: Removed some errors with code contracts (commenting out ↵	tabarbe	2010-08-27
\| \| \| \|	doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however).
*	Boogie: Graph port 1/3: Committing new sources	tabarbe	2010-08-27
\|
*	Boogie: Renaming the Graph files in preparation for the commit of my port.	tabarbe	2010-08-27