debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	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 ↵	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
\| \|\
\| * \|	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