debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Pantazis Deligiannis	2013-07-15
\|\
\| *	temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ALL_SUPPO...	Pantazis Deligiannis	2013-07-15
* \|	added another regression	qadeer	2013-07-15
* \|	end atomic actions at async and parallel calls	qadeer	2013-07-15
* \|	1. changed values passed to additional parameters to procedures; async and pa...	qadeer	2013-07-14
* \|	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-12
* \|	Worked on the parallelization.	wuestholz	2013-07-11
* \|	Worked on the parallelization.	wuestholz	2013-07-11
* \|	Worked on the parallelization.	wuestholz	2013-07-11
\| *	code cleanup and refactoring	Pantazis Deligiannis	2013-07-11
\| *	code cleanup & refactoring	Pantazis Deligiannis	2013-07-11
* \|	Worked on the parallelization.	wuestholz	2013-07-10
\| *	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
* \|	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
\| *	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
* \|	Worked on the parallelization.	wuestholz	2013-07-08
\| *	allows (reset) to be send only to the Z3 prover	Pantazis Deligiannis	2013-07-09
* \|	Worked on the parallelization.	wuestholz	2013-07-08
\| *	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
\| \|\
* \| \|	Added an option to verify each input file separately.	wuestholz	2013-07-05
\| \|/ \|/\|
* \|	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
\|\\| \|