debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	More refactoring: PureCollections.Sequence not used anymore.	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	Merge	Ally Donaldson	2013-07-22
\|\
\| *	small fix to pickup correctly the CVC4 executable	Pantazis Deligiannis	2013-07-22
* \|	Whitespace fix	Ally Donaldson	2013-07-22
* \|	Whitespace fix	Ally Donaldson	2013-07-22
* \|	Whitespace fix	Ally Donaldson	2013-07-22
* \|	Merge	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
\| *	fix in the answer	Pantazis Deligiannis	2013-07-22
\| *	fix	Pantazis Deligiannis	2013-07-22
\| *	fix	Pantazis Deligiannis	2013-07-22
\| *	merge	Pantazis Deligiannis	2013-07-22
\| \|\
\| * \	merge	Pantazis Deligiannis	2013-07-22
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	refactoring	Pantazis Deligiannis	2013-07-22
\| * \|	refactoring	Pantazis Deligiannis	2013-07-22
* \| \|	Refactoring of VariableSeq and TypeSeq	Ally Donaldson	2013-07-22
* \| \|	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
* \| \|	Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and Li...	Ally Donaldson	2013-07-22
* \| \|	Closing branch.	Ally Donaldson	2013-07-22
\| \| *	Merge	Ally Donaldson	2013-07-22
\| \| \|\
* \| \| \|	Fixed bugs arising from differences between hashtables and dictionaries	Ally Donaldson	2013-07-22
* \| \| \|	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
* \| \| \|	Merge	allydonaldson	2013-07-22
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Fixed what looks like a type-related bug in the manipulation of newGotoCmdOri...	allydonaldson	2013-07-22
* \| \| \|	Refactored variable2sequenceNumber to use Dictionary	Ally Donaldson	2013-07-22
\|/ / /
* \| \|	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...	Ally Donaldson	2013-07-22
\| \| *	Changed the API to make it possible to set the current state in BVD.	wuestholz	2013-07-21
\| \|/ \|/\|
\| *	fix	Pantazis Deligiannis	2013-07-19
\| *	merge	Pantazis Deligiannis	2013-07-19
\| \|\ \| \|/ \|/\|
\| *	merge	Pantazis Deligiannis	2013-07-19
\| *	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
* \|	Merge	allydonaldson	2013-07-18
\|\ \
\| * \|	Populate a model only once.	Rustan Leino	2013-07-18
* \| \|	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\|/ /
* \|	Extracted Houdini statistics into a record, and parametersied Houdini class w...	allydonaldson	2013-07-16
* \|	Merge	allydonaldson	2013-07-16
\|\ \
* \| \|	Some cleanup in HoudiniSession	allydonaldson	2013-07-16
* \| \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
\| \| *	fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...	Pantazis Deligiannis	2013-07-15
\| \| *	fix for SetTimeOut in ProverInterface to work only under Z3 parser	Pantazis Deligiannis	2013-07-15
\| \| *	small fix	Pantazis Deligiannis	2013-07-15
\| \| *	Merge	Pantazis Deligiannis	2013-07-15
\| \| \|\
\| \| \| *	temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...	Pantazis Deligiannis	2013-07-15
\| * \| \|	Split up the model viewer into a library and an application and added some fu...	wuestholz	2013-07-14
\| \|/ /
\| * \|	added another regression	qadeer	2013-07-15
\| * \|	end atomic actions at async and parallel calls	qadeer	2013-07-15
\| * \|	1. changed values passed to additional parameters to procedures; async and pa...	qadeer	2013-07-14
\| * \|	Changed the class 'ErrorInformation' to store the model separately.	wuestholz	2013-07-12