debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	Resolved some issues with data races.	wuestholz	2013-07-23
* \|	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...	wuestholz	2013-07-22
* \|	All ...Seq classes now gone	Ally Donaldson	2013-07-22
* \|	ExprSeq: 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
* \|	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
* \|	Merge	Ally Donaldson	2013-07-22
\|\ \
* \| \|	More refactoring	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
\|\ \
* \| \|	Changed Has method of PureSequence to Contains to make refactoring easier.	Ally Donaldson	2013-07-22
\| * \|	merge	Pantazis Deligiannis	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
\| * \|	merge	Pantazis Deligiannis	2013-07-19
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Populate a model only once.	Rustan Leino	2013-07-18
\| * \|	Merge	Pantazis Deligiannis	2013-07-15
\|/\| \|
* \| \|	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
* \| \|	Worked on the parallelization.	wuestholz	2013-07-10
* \| \|	Worked on the parallelization.	wuestholz	2013-07-08
\| * \|	merge	Pantazis Deligiannis	2013-07-06
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Worked on the parallelization.	wuestholz	2013-07-05
* \| \|	Worked on the parallelization.	wuestholz	2013-07-02
* \| \|	Worked on the parallelization.	wuestholz	2013-07-01
* \| \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
* \| \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-25
* \| \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
* \| \|	Did some refactoring in the execution engine.	wuestholz	2013-06-14
\| \|/ \|/\|
* \|	Merge fixes for duality	Ken McMillan	2013-06-14
\|\ \
\| * \|	Fixes for duality under corral	Ken McMillan	2013-06-14
\| \| *	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...	pantazis	2013-06-13
\| \| *	CVC4 Parser	pantazis	2013-06-12
\| \|/ \|/\|
* \|	Worked on improving program snapshot verification.	wuestholz	2013-06-07
* \|	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
\|/
*	Merge	Ken McMillan	2013-05-29
\|\
\| *	Adding background model to fixedpoint counterexamples and small code contract...	Ken McMillan	2013-05-29
* \|	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
\|/
*	Merge changes to support Corral in fixedpoint backend	Ken McMillan	2013-05-29
\|\
\| *	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29