debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	CVC4 Parser	pantazis	2013-06-12
*	Worked on improving program snapshot verification.	wuestholz	2013-06-07
*	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	Merge	Ken McMillan	2013-05-29
\|\
\| *	Adding background model to fixedpoint counterexamples and small code contract...	Ken McMillan	2013-05-29
* \|	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
\|/
*	Merge changes to support Corral in fixedpoint backend	Ken McMillan	2013-05-29
\|\
\| *	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
* \|	Changed the 'CounterexampleComparer' to take traces into account.	wuestholz	2013-05-26
* \|	Changed the 'CounterexampleComparer' to take error messages of assertions int...	wuestholz	2013-05-24
\| *	Working on fixedpoint backend	Ken McMillan	2013-05-20
\|/
*	new files for fixedpoint engine backend	Unknown	2013-05-07
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	Parse integers returned by Z3 into BigNum	akashlal	2013-01-29
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	extended Evaluate to handle more types	Unknown	2012-12-28
*	Added expression evaluation API	Unknown	2012-12-27
*	bunch of refactorings	Unknown	2012-10-03
*	Merge	Unknown	2012-09-28
\|\
* \|	Fixed bug with uniformity analysis for havoc. Allowed barrier invariants to	Unknown	2012-09-28
\| *	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
\|/
*	Fixed issue with uniformity analysis and block merging. Uniformity analysis	Unknown	2012-09-24
*	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
*	Added functionality for race error reporting.	Egor Kyshtymov	2012-08-20
*	Smart block predicator: track parents, and use to emit the invariant that if ...	Peter Collingbourne	2012-08-06
*	Smart block predicator: move *Map from parameters to fields	Peter Collingbourne	2012-08-06
*	Smart block predicator: drop the unused createCandidateInvariants parameter	Peter Collingbourne	2012-08-06
*	VCGeneration: implement smart predication	Peter Collingbourne	2012-07-30
*	VCGen: add MergeBlocksIntoPredecessors function	Peter Collingbourne	2012-07-09
*	Made error trace generation (without labels) more general for stratified	Unknown	2012-07-04
*	Worked on cross-thread annotations.	Unknown	2012-07-03
*	Added support for non-predicated assertions	Unknown	2012-07-02
*	Started adding support for annotation intrinsics for unstructured programs.	Unknown	2012-07-02
*	Merge	Unknown	2012-06-25
\|\
* \	Merge	Unknown	2012-06-21
\|\ \
\| \| *	merge with Peter's changes	qadeer	2012-06-20
\| \| *	Merge	qadeer	2012-06-20
\| \| \|\ \| \| \|/ \| \|/\|
\| * \|	Block predicator: handle StateCmd	Peter Collingbourne	2012-06-20
\| \| *	a bug fix	qadeer	2012-06-19
\| \| *	another edit for predication	qadeer	2012-06-19
\| \| *	integrating predication	qadeer	2012-06-19
\| \|/
\| *	Merge	qadeer	2012-06-18
\| \|\ \| \|/ \|/\|
\| *	Fix line endings	Peter Collingbourne	2012-06-18
\| *	Move block predicator to VCGeneration	Peter Collingbourne	2012-06-18
\|/
*	deleted an unused class	qadeer	2012-06-12
*	refactoring in SI	qadeer	2012-06-12
*	Merge	qadeer	2012-06-10
\|\
* \|	1. changed new SI implemnetation so that it performs substitution for call sites	qadeer	2012-06-10
\| *	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
\|/