debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	fix	Pantazis Deligiannis	2013-07-22
* \|	refactoring	Pantazis Deligiannis	2013-07-22
* \|	refactoring	Pantazis Deligiannis	2013-07-22
* \|	merge	Pantazis Deligiannis	2013-07-19
\|\ \
* \| \|	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\| * \|	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
* \| \|	fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logic...	Pantazis Deligiannis	2013-07-15
* \| \|	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 ALL_SUPPO...	Pantazis Deligiannis	2013-07-15
\| * \|	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
\| * \|	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
\| * \|	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
\| * \|	merge	Pantazis Deligiannis	2013-07-06
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Worked on the parallelization.	wuestholz	2013-07-05
* \| \|	Worked on the parallelization.	wuestholz	2013-07-02
* \| \|	Worked on the parallelization.	wuestholz	2013-07-01
\| \|/ \|/\|
* \|	fixed bad merge	Ken McMillan	2013-06-15
* \|	Merge fixes for duality	Ken McMillan	2013-06-14
\|\ \
\| * \|	Fixes for duality under corral	Ken McMillan	2013-06-14
\| \| *	fixed the CVC4 SMTLIB array parsing to work under the latest CVC4 model repre...	pantazis	2013-06-13
\| \| *	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...	pantazis	2013-06-13
\| \| *	Z3 new parser takes now a new option for pp-bv-literals	pantazis	2013-06-12
\| \| *	naive SMTLIB2 Parser	pantazis	2013-06-12
\| \| *	CVC4 Parser	pantazis	2013-06-12
\| \| *	cvc4 command line option & cvc4.cs in Provers	pantazis	2013-06-12
\| \|/ \|/\|
* \|	Fixed an issue in the prover interface.	wuestholz	2013-06-07
* \|	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
\|/
*	Adding background model to fixedpoint counterexamples and small code contract...	Ken McMillan	2013-05-29
*	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
*	Working on fixedpoint backend	Ken McMillan	2013-05-20
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	added support for linear sets without useArrayTheory (but there is some incom...	Unknown	2013-03-07
*	fixed datatype bug reported by Chris	Unknown	2013-03-05
*	Parse integers returned by Z3 into BigNum	akashlal	2013-01-29
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	bug fix	Unknown	2012-12-28
*	extended Evaluate to handle more types	Unknown	2012-12-28
*	Added expression evaluation API	Unknown	2012-12-27
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
*	Incorporated contribution 3667, which fixes bug in /z3exe flag (http://boogie...	Rustan Leino	2012-11-20