debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	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
\|/
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
*	change in model parsing with datatype values	qadeer	2011-11-07
*	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
*	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27