debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Improve support for identifying unnecessary assumes.	Valentin Wüstholz	2016-03-09
*	Improve support for optimization and identifying unnecessary assumes.	Valentin Wüstholz	2016-03-03
*	Remove workaround for older versions of Z3.	Valentin Wüstholz	2015-12-02
*	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
*	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
*	Merge FixpointVC changes with mainline	Ken McMillan	2014-10-08
\|\
\| *	Added "extra recursion bound" to FixedpointVC to support Corral.	Ken McMillan	2014-10-08
* \|	(Subhajit) Added an interface for InterpolatingTheoremProver	akashlal	2014-09-24
* \|	Did some refactoring.	wuestholz	2014-09-23
\|/
*	OnModel now carries the result of the prover call	akashlal	2014-06-28
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
*	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
*	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
*	Resolved some issues with data races.	wuestholz	2013-07-23
*	Worked on the parallelization.	wuestholz	2013-07-12
*	Worked on the parallelization.	wuestholz	2013-07-11
*	Worked on the parallelization.	wuestholz	2013-07-10
*	Worked on the parallelization.	wuestholz	2013-07-08
*	Worked on the parallelization.	wuestholz	2013-07-05
*	Worked on the parallelization.	wuestholz	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
*	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
*	Fixes for duality under corral	Ken McMillan	2013-06-14
*	Working on fixedpoint backend	Ken McMillan	2013-05-20
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	extended Evaluate to handle more types	Unknown	2012-12-28
*	Added expression evaluation API	Unknown	2012-12-27
*	Made error trace generation (without labels) more general for stratified	Unknown	2012-07-04
*	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\|\
\| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
* \|	moved class Macro to Absy	qadeer	2012-06-04
* \|	clean up in stratified inlining	qadeer	2012-04-29
* \|	eliminated class ErrorModel	qadeer	2012-04-28
* \|	various changes for using unsat cores in Houdini	qadeer	2012-04-17
* \|	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
* \|	Merge	qadeer	2012-04-01
\|\ \
\| * \|	bug fix for previous refactoring	Unknown	2012-04-02
* \| \|	Merge	qadeer	2012-04-01
\|\\| \|
* \| \|	partial work on non-uniform loop unrolling	qadeer	2012-04-01
\| * \|	Refactored CheckAssumptions API	Unknown	2012-04-02
\|/ /
* \|	Cleaned up code by getting rid of ApiProverInterface.	Unknown	2012-02-29
* \|	Introduce ApiProverInterface.CheckOutcomeCore() for stratified inlining; simp...	Michal Moskal	2012-02-28
* \|	fixed up SI to work with new error trace generation	qadeer	2012-02-28
* \|	various fixes related to new error traces	qadeer	2012-02-27
\|/