debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|\
* \|	Some cleanup in HoudiniSession	allydonaldson	2013-07-16
* \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
\| *	Split up the model viewer into a library and an application and added some fu...	wuestholz	2013-07-14
\| *	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
\|/
*	Worked on the parallelization.	wuestholz	2013-07-10
*	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
*	Worked on the parallelization.	wuestholz	2013-07-08
*	Worked on the parallelization.	wuestholz	2013-07-08
*	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
\|\\|
\| *	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