debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in ↵	wuestholz	2013-07-22
\| \| \| \|	code (as opposed to contracts).
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
\|
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
\|
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to ↵	mikebarnett	2011-03-10
\| \| \| \| \| \|	dictionaries are non-null, which is enforced by the implementation of Dictionary. Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.
*	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