debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed the remaining pure collections.	wuestholz	2013-07-23
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	Merge	allydonaldson	2013-04-30
\|\
* \|	Staged Houdini	allydonaldson	2013-04-30
\| *	Fix mod-set traversal to do visit code inside code expressions.	Rustan Leino	2013-04-18
\|/
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	bunch of refactorings	Unknown	2012-10-03
*	bug fix in live variable analysis	qadeer	2011-06-14
*	fixed a bug in block coalescer. previously, an unreachable block could have a...	qadeer	2011-05-04
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	A couple of bug fixes	akashlal	2010-12-16
*	fixed a couple of issues:	qadeer	2010-12-16
*	Changed the behavior of /doModSetAnalysis so that	qadeer	2010-12-15
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20