debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	(Subhajit) Added an interface for InterpolatingTheoremProver	akashlal	2014-09-24
* \|	minor fix	akashlal	2014-09-24
* \|	Simple VC generation for SI	akashlal	2014-09-24
* \|	Fixed assertion violation.	wuestholz	2014-09-23
* \|	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
* \|	Did more refactoring.	wuestholz	2014-09-23
* \|	Did some refactoring.	wuestholz	2014-09-23
* \|	Fixed an issue in the verification result caching (recycled errors).	wuestholz	2014-09-22
* \|	fixed various CodeContracts issues.	qadeer	2014-09-18
\|/
*	merge	qadeer	2014-08-08
\|\
* \|	fixed codexpr bug reported by Michael Emmi; removed special handling of codex...	qadeer	2014-08-08
\| *	Bug fix in SI	akashlal	2014-08-03
\|/
*	Some simplifications	akashlal	2014-07-28
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Worked on adding support for "canned errors".	wuestholz	2014-07-07
*	Added more tests and worked on adding support for "canned errors".	wuestholz	2014-07-06
*	Worked on adding support for "canned errors".	wuestholz	2014-07-06
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Implemented an optimization for assignments to assumption variables that are ...	wuestholz	2014-07-04
*	OnModel now carries the result of the prover call	akashlal	2014-06-28
*	Fix in SI while dealing with timeouts	akashlal	2014-06-27
*	Optimized the way that assertions are marked as partially verified.	wuestholz	2014-06-26
*	Fixed issue in verification result caching.	wuestholz	2014-06-26
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Added mechanism for getting the variables referenced by a loop (not just the ...	Ally Donaldson	2014-06-09
*	Made VarsAssignedInLoop public, since it can be useful in computing modifies ...	Ally Donaldson	2014-06-06
*	Merge duality changes	Ken McMillan	2014-05-26
\|\
\| *	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
* \|	keep some stats for debugging	akashlal	2014-05-15
* \|	Added stack bounding	akashlal	2014-05-10
\| *	Merge extra recuresion bound changes for FixedPointVC	Ken McMillan	2014-04-21
\| \|\
* \| \|	Add support for assumption variables.	wuestholz	2014-04-21
\|/ /
* \|	Added /printFixedPoint option	Ken McMillan	2014-04-14
\| *	Added extra recursion bound and preconditions to FixedpointVC.	Ken McMillan	2014-03-17
* \|	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
\|/
*	Merge fixedpoint VC fix	Ken McMillan	2014-02-19
\|\
\| *	Fixedpoint VC fix.	Ken McMillan	2014-02-19
* \|	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
* \|	Added functionality to rename state captures when programs are unrolled.	Ally Donaldson	2014-01-17
* \|	Integrated support for k-induction, implemented a while ago by Philipp Ruemme...	Ally Donaldson	2014-01-17
* \|	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
* \|	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
\| *	Fixed bugs in fixedpoint VC gen (including thread problem).	Ken McMillan	2013-12-19
* \|	Resolve a concurrency issue (reported by Alex Summers).	wuestholz	2013-12-12
* \|	Merge	qadeer	2013-12-02
\|\ \
* \| \|	added the QED build configuration	qadeer	2013-12-02
\| \|/ \|/\|
\| *	Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...	Ally Donaldson	2013-12-02
\|/