debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	VC gen for security properties	akashlal	2015-04-05
*	If using -proverLog: make sure we flush after writing every line	Dan Liew	2015-03-10
*	Work around bug in Z3 4.3.2 and newer (https://z3.codeplex.com/workitem/188)	Dan Liew	2015-03-10
*	Parse Bv values	akashlal	2015-03-02
*	Merge some FixpointVC changes that got left behind	Ken McMillan	2014-12-08
\|\
* \|	Patch by Jeroen Ketema	Dan Liew	2014-11-17
* \|	re-enabling -useUnsatCoreForContractInfer	shuvendu	2014-11-07
* \|	Logging for SMTLib prover	akashlal	2014-11-05
\| *	Merge FixpointVC changes with mainline	Ken McMillan	2014-10-08
\|/\|
\| *	Added "extra recursion bound" to FixedpointVC to support Corral.	Ken McMillan	2014-10-08
* \|	Some fixes to ITP	akashlal	2014-10-04
* \|	minor fixes to interpolating TP	akashlal	2014-10-03
* \|	Added a flag to initialize the interpolating TP	akashlal	2014-09-29
* \|	Merge.	Dan Liew	2014-09-24
\|\ \
* \| \|	Remove dead method argument	Dan Liew	2014-09-24
* \| \|	Let the SMT lib convert models to Z3-like models	Dan Liew	2014-09-24
\| * \|	(Subhajit) Added an interface for InterpolatingTheoremProver	akashlal	2014-09-24
\| * \|	Simple VC generation for SI	akashlal	2014-09-24
\|/ /
* /	Patch by Jeroen Ketema.	Dan Liew	2014-09-19
\|/
*	OnModel now carries the result of the prover call	akashlal	2014-06-28
*	Small refactoring	Ally Donaldson	2014-06-06
*	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
*	Added /printFixedPoint option	Ken McMillan	2014-04-14
*	Merge	Ally Donaldson	2013-12-09
\|\
* \|	Small change related to CVC4 support. Patch by Pantazis Deligiannis	Ally Donaldson	2013-12-09
\| *	The back pred files have been eliminated. The small backpred string is now d...	qadeer	2013-12-08
\|/
*	do monomorphic checking	qadeer	2013-11-22
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
*	Merge duality changes to mainline	Ken McMillan	2013-11-09
\|\
\| *	handling timeouts for fixedpoint engines	Ken McMillan	2013-11-09
* \|	ProverInterface: model isn't available on timeout	akashlal	2013-11-02
* \|	small refactoring	Pantazis Deligiannis	2013-10-02
* \|	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
* \|	Resolved some issues with data races.	wuestholz	2013-07-23
* \|	More refactoring	Ally Donaldson	2013-07-22
* \|	small fix to pickup correctly the CVC4 executable	Pantazis Deligiannis	2013-07-22
* \|	fix	Pantazis Deligiannis	2013-07-22
* \|	refactoring	Pantazis Deligiannis	2013-07-22
* \|	refactoring	Pantazis Deligiannis	2013-07-22
* \|	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
* \|	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
\|\ \
\| * \|	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