debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Adapted method for computing dual of graph so that it copes with graphs that ↵	allydonaldson	2013-06-28
\| \| \| \|	exhibit exit-free cycles
*	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
\|
*	Merge	allydonaldson	2013-06-21
\|\
* \|	Method in Houdini to allow an expression to be turned into non-candidate form	allydonaldson	2013-06-21
\| \|
\| *	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
\| \|
* \|	Merge	allydonaldson	2013-06-19
\|\\|
\| *	AbsHoudini: Bug fix, with bv constants.	akashlal	2013-06-19
\| \|
* \|	Merge	allydonaldson	2013-06-19
\|\\|
\| *	AbsHoudini: Bug fix	akashlal	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
\| \|
* \|	Merge	allydonaldson	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
\| \|
\| *	Merge fix from previous bad merge	Ken McMillan	2013-06-15
\| \|\
\| \| *	fixed bad merge	Ken McMillan	2013-06-15
\| \| \|
\| * \|	Merge	akashlal	2013-06-15
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	AbsHoudini: added an implication domain	akashlal	2013-06-15
\| \| \|
\| * \|	Merge fixes for duality	Ken McMillan	2013-06-14
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	Fixes for duality under corral	Ken McMillan	2013-06-14
\| \| \|
\| * \|	Removed unused code.	wuestholz	2013-06-13
\| \| \|
\| * \|	Worked on improving program snapshot verification (automatic prioritization).	wuestholz	2013-06-12
\| \| \|
\| * \|	Added /help and /attrHelp output for program snapshot verification.	wuestholz	2013-06-12
\| \| \|
\| * \|	Did some refactoring in the execution engine.	wuestholz	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
\| \| \|
\| * \|	Fixed an issue in the prover interface.	wuestholz	2013-06-07
\| \| \|
* \| \|	Merge	allydonaldson	2013-06-07
\|\ \ \
* \| \| \|	Some work on staged Houdini	allydonaldson	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
\| \| \|