debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	merge	Pantazis Deligiannis	2013-07-19
\|\
* \|	merge	Pantazis Deligiannis	2013-07-19
\| \|
* \|	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\| \|
\| *	Merge	allydonaldson	2013-07-18
\| \|\
\| \| *	Populate a model only once.	Rustan Leino	2013-07-18
\| \| \|
\| * \|	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\| \|/
\| *	Extracted Houdini statistics into a record, and parametersied Houdini class ↵	allydonaldson	2013-07-16
\| \| \| \| \| \| \| \|	with a statistics object. This means that if one runs multiple Houdini instances, each can record its own statistics.
\| *	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
\| \| \|
* \| \|	fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other ↵	Pantazis Deligiannis	2013-07-15
\| \| \| \| \| \| \| \| \| \| \| \|	logics can be set with the previously existing command e.g. /proverOpt:LOGIC=QF_ALL_SUPPORTED
* \| \|	fix for SetTimeOut in ProverInterface to work only under Z3 parser	Pantazis Deligiannis	2013-07-15
\| \| \|
* \| \|	small fix	Pantazis Deligiannis	2013-07-15
\| \| \|
* \| \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \
\| * \| \|	temp fix until CVC4 bug is fixed (using QF_ALL_SUPPORTED instead of ↵	Pantazis Deligiannis	2013-07-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	ALL_SUPPORTED)
\| \| \| *	Split up the model viewer into a library and an application and added some ↵	wuestholz	2013-07-14
\| \|_\|/ \|/\| \| \| \| \| \| \| \|	functionality.
* \| \|	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 ↵	qadeer	2013-07-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	parallel calls treated exactly the same now 2. fixed bug in collection of available linear vars for parallel calls; added more test cases to regression
* \| \|	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 ↵	Pantazis Deligiannis	2013-07-10
\| \| \| \| \| \| \| \|	normally
* \|	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
\| \|
\| *	fix in modelviewer, ParseModels now requires 2 arguments, second should be ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \| \| \| \| \|	an empty string for the default parser
\| *	added specific command line options to enable the SMTLIB2 output model ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \| \| \| \| \|	parser for Z3. Use /proverOpt:SMTLIB2_MODEL=true
\| *	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 ↵	Pantazis Deligiannis	2013-07-07
\| \| \| \| \| \| \| \|	many of the test suite dirs
\| *	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}, ↵	Rustan Leino	2013-07-05
\| \| \| \| \| \| \| \| \| \| \| \|	which says that a function is an identity function.
\| * \|	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
\| \| \|