debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| *	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
* \|	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
* \| \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
* \| \|	Worked on the parallelization.	wuestholz	2013-07-12
* \| \|	Worked on the parallelization.	wuestholz	2013-07-11
* \| \|	Worked on the parallelization.	wuestholz	2013-07-11
* \| \|	Worked on the parallelization.	wuestholz	2013-07-11
\| \|/ \|/\|
\| *	code cleanup and refactoring	Pantazis Deligiannis	2013-07-11
\| *	code cleanup & refactoring	Pantazis Deligiannis	2013-07-11
* \|	Worked on the parallelization.	wuestholz	2013-07-10
\| *	fixed another bug when parsing nested arrays under CVC4	Pantazis Deligiannis	2013-07-10
\| *	fix a bug when parsing nested arrays under CVC4	Pantazis Deligiannis	2013-07-10
\| *	the cvc4 parser can now parse nested array expressions	Pantazis Deligiannis	2013-07-10
\| *	fixed a bug where a formula was being send to CVC4 although it shouldn't norm...	Pantazis Deligiannis	2013-07-10
* \|	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
\| *	fix in modelviewer, ParseModels now requires 2 arguments, second should be an...	Pantazis Deligiannis	2013-07-09
\| *	added specific command line options to enable the SMTLIB2 output model parser...	Pantazis Deligiannis	2013-07-09
\| *	some clean up	Pantazis Deligiannis	2013-07-09