debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in ↵	wuestholz	2013-07-22
\| \| \| \|	code (as opposed to contracts).
*	Fixed the Coco/R grammar and regenerated the parser.	wuestholz	2013-07-22
\|
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
\|
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
\|
*	RESeq: farewell	Ally Donaldson	2013-07-22
\|
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
\|
*	StringSeq: farewell	Ally Donaldson	2013-07-22
\|
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
\|
*	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	Ally Donaldson	2013-07-22
\|
*	Merge	Ally Donaldson	2013-07-22
\|\
* \|	More refactoring	Ally Donaldson	2013-07-22
\| \|
* \|	More refactoring	Ally Donaldson	2013-07-22
\| \|
* \|	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
\| \|
\| *	Fixed an issue with parallelization.	wuestholz	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	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 ↵	Ally Donaldson	2013-07-22
\| \| \| \| \| \| \| \| \| \| \| \|	List<Ensures>, respectively, as a first step towards simply using the List versions.
\| \| *	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 ↵	allydonaldson	2013-07-22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	newGotoCmdOrigins: this Hashtable is commented as having type TransferCmd -> ReturnCmd, but it was being used here as if the key type was Block.
* \| \| \|	Refactored variable2sequenceNumber to use Dictionary	Ally Donaldson	2013-07-22
\|/ / /
* \| \|	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a ↵	Ally Donaldson	2013-07-22
\| \| \| \| \| \| \| \| \| \| \| \|	plain Hashtable.
\| \| *	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
\| \|\ \| \|/ \|/\|
\| *	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 ↵	allydonaldson	2013-07-16
\| \| \| \| \| \| \| \|	with a statistics object. This means that if one runs multiple Houdini instances, each can record its own statistics.
* \|	Merge	allydonaldson	2013-07-16
\|\ \