debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	qadeer	2013-10-15
\|\
* \|	bug fix in yield inference in modset analysis	qadeer	2013-10-15
\| *	Merge	Pantazis Deligiannis	2013-10-09
\| \|\ \| \|/ \|/\|
* \|	No need for OG with Stratified Inlining.	akashlal	2013-09-08
\| *	Merge	Pantazis Deligiannis	2013-08-20
\| \|\ \| \|/ \|/\|
\| *	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
* \|	cleaned up the OG code	qadeer	2013-08-07
* \|	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
* \|	Make the dependency analysis for snapshot verification take 'where' clauses i...	wuestholz	2013-07-30
\|/
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
*	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