debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	merge	Pantazis Deligiannis	2013-07-19
\|\
\| *	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
\| \|\
\| * \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
* \| \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	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-10
* \|	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
\| \|/ \|/\|
* \|	Worked on the parallelization.	wuestholz	2013-07-01
* \|	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
* \|	Addressed some \n versus \r\n issues	Rustan Leino	2013-06-29
* \|	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
* \|	Worked on improving program snapshot verification.	wuestholz	2013-06-20
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-19
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-19
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-19
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-19
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-18
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-18
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-17
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-17
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-14
* \|	AbsHoudini: Few more abstract domains	akashlal	2013-06-16
* \|	Worked on improving program snapshot verification (automatic prioritization).	wuestholz	2013-06-12
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-12
\| *	CVC4 Parser	pantazis	2013-06-12
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-11
\|/
*	Worked on improving program snapshot verification.	wuestholz	2013-06-11
*	Worked on improving program snapshot verification.	wuestholz	2013-06-11
*	Worked on improving program snapshot verification.	wuestholz	2013-06-10
*	Worked on improving program snapshot verification.	wuestholz	2013-06-10
*	Removed unused code.	wuestholz	2013-06-10
*	Removed unused code.	wuestholz	2013-06-10
*	Worked on improving program snapshot verification.	wuestholz	2013-06-07
*	Worked on improving program snapshot verification.	wuestholz	2013-06-05
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03