debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...	Pantazis Deligiannis	2013-07-15
*	code cleanup and refactoring	Pantazis Deligiannis	2013-07-11
*	code cleanup & refactoring	Pantazis Deligiannis	2013-07-11
*	fixed another bug when parsing nested arrays under CVC4	Pantazis Deligiannis	2013-07-10
*	fix a bug when parsing nested arrays under CVC4	Pantazis Deligiannis	2013-07-10
*	the cvc4 parser can now parse nested array expressions	Pantazis Deligiannis	2013-07-10
*	fixed a bug where a formula was being send to CVC4 although it shouldn't norm...	Pantazis Deligiannis	2013-07-10
*	fix in modelviewer, ParseModels now requires 2 arguments, second should be an...	Pantazis Deligiannis	2013-07-09
*	added specific command line options to enable the SMTLIB2 output model parser...	Pantazis Deligiannis	2013-07-09
*	some clean up	Pantazis Deligiannis	2013-07-09
*	allows (reset) to be send only to the Z3 prover	Pantazis Deligiannis	2013-07-09
*	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...	Pantazis Deligiannis	2013-07-07
*	merge	Pantazis Deligiannis	2013-07-06
\|\
\| *	Worked on the parallelization.	wuestholz	2013-07-05
\| *	Merge	Rustan Leino	2013-07-05
\| \|\
\| * \|	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
\| \| *	Worked on the parallelization.	wuestholz	2013-07-02
\| \|/
\| *	Merge	allydonaldson	2013-07-02
\| \|\
\| * \|	Fixed bug with unifomity analysis	allydonaldson	2013-07-02
\| \| *	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
\| \|/
\| *	Adapted method for computing dual of graph so that it copes with graphs that ...	allydonaldson	2013-06-28
\| *	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