debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	more work on reducing call stack consumption	qadeer	2014-12-18
*	Avoid another potential data race.	wuestholz	2013-07-23
*	Resolved some issues with data races.	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...	wuestholz	2013-07-22
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22
*	Refactoring of TypeVariableSeq	Ally Donaldson	2013-07-22
*	Changed Has method of PureSequence to Contains to make refactoring easier.	Ally Donaldson	2013-07-22
*	Refactoring of VariableSeq and TypeSeq	Ally Donaldson	2013-07-22
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: use (WEIGHT 0) with the select-of-store axioms	Rustan Leino	2011-06-29
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Boogie:	rustanleino	2010-10-12
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Make /typeEncoding:m work with arrays	MichalMoskal	2010-08-18
*	Boogie: Committing new source code for VCExpr	tabarbe	2010-08-13
*	Boogie: Renaming VCExpr sources in preparation for port commit	tabarbe	2010-08-13