debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	AbsHoudini: Bug fix, with bv constants.	akashlal	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
*	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
* \|	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
* \|	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
* \|	Fixed an issue with discovering program snapshots.	wuestholz	2013-06-03
* \|	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
* \|	Merge	Rustan Leino	2013-05-30
\|\ \
* \| \|	Fixed bug in Interval abstract domain (pertaining to unary negation)	Rustan Leino	2013-05-30
\| \|/ \|/\|
\| *	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
\| *	Minor change to prevent prover errors during trace extraction	wuestholz	2013-05-29
\|/
*	Merge	Ken McMillan	2013-05-29
\|\
\| *	Adding background model to fixedpoint counterexamples and small code contract...	Ken McMillan	2013-05-29