debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	removed bitvector analysis from Boogie	qadeer	2013-12-08
\| \| \| \|	an advanced version has been moved to Corral
*	Fixes to refactoring	Ally Donaldson	2013-07-22
\|
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
\|
*	More refactoring	Ally Donaldson	2013-07-22
\|
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
\|
*	Refactoring of VariableSeq and TypeSeq	Ally Donaldson	2013-07-22
\|
*	bitvector fixes	qadeer	2011-09-24
\|
*	further edits	qadeer	2011-09-01
\|
*	improved bitvector analysis	qadeer	2011-09-01
\|
*	more changes to bitvector analysis	qadeer	2011-08-29
\|
*	further updates to bit vector analysis	qadeer	2011-08-09
\|
*	more changes to bitvector analysis	qadeer	2011-08-09
\|
*	another bug fix in bct	qadeer	2011-08-08
\|
*	added a new file and fixed a bug in bct	qadeer	2011-08-08