debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	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
*	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
\| *	merge	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
* \|	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	Pantazis Deligiannis	2013-07-19
\| \|\ \| \|/ \|/\|
\| *	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
* \|	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
* \|	Merge	allydonaldson	2013-07-16
\|\ \
* \| \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
\| \| *	Merge	Pantazis Deligiannis	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
\| * \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\|/ /
* \|	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\
* \| \|	Added an option to verify each input file separately.	wuestholz	2013-07-05
\| \|/ \|/\|
* \|	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
* \|	Addressed some \n versus \r\n issues	Rustan Leino	2013-06-29
* \|	Merge	allydonaldson	2013-06-18
\|\ \
\| * \|	Did some refactoring in the execution engine.	wuestholz	2013-06-14
\| * \|	Added /help and /attrHelp output for program snapshot verification.	wuestholz	2013-06-12
\| \| *	CVC4 Parser	pantazis	2013-06-12
\| \| *	cvc4 command line option & cvc4.cs in Provers	pantazis	2013-06-12
\| \|/
\| *	Worked on improving program snapshot verification.	wuestholz	2013-06-10
* \|	Merge	allydonaldson	2013-06-07
\|\ \
* \| \|	Some work on staged Houdini	allydonaldson	2013-06-07
\| \| *	Worked on improving program snapshot verification.	wuestholz	2013-06-05
\| \|/