debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	qadeer	2013-07-29
\|\
* \|	added proper resolution and typechecking for all generated expressions	qadeer	2013-07-29
\| *	Fixed issue in the model viewer.	wuestholz	2013-07-29
\|/
*	added types for all the expressions being added to calls	qadeer	2013-07-29
*	Allow for certain visual elements of the model viewer to be hidden.	wuestholz	2013-07-28
*	Make 'Model' a proper project.	wuestholz	2013-07-26
*	Removed harmful "Assert(false)".	wuestholz	2013-07-26
*	Avoid another potential data race.	wuestholz	2013-07-23
*	Removed the remaining pure collections.	wuestholz	2013-07-23
*	Resolved some issues with data races.	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Minor fix	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...	wuestholz	2013-07-22
*	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 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