debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ↵	tabarbe	2010-08-27
\| \| \| \|	fewer error messages when compiling with runtime checking on.
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
\|
*	Fixed a contract	akashlal	2010-08-10
\|
*	More line ending fixups.	MichalMoskal	2010-08-06
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	Boogie: VCGeneration port part 1/3: Replacing old source files with ported ↵	tabarbe	2010-07-28
\| \| \| \|	version
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the ↵	tabarbe	2010-07-28
	ported C# version