debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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
\|/
*	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
* \|	code cleanup	akashlal	2013-11-02
* \|	And a test case	akashlal	2013-10-21
* \|	Bug fix in stratified inlining (triggered by {:inline} functions)	akashlal	2013-10-21
* \|	Merge	Pantazis Deligiannis	2013-10-09
\|\ \
* \| \|	small refactoring	Pantazis Deligiannis	2013-10-02
* \| \|	support for disabling loop entry invariant assertion checking	Pantazis Deligiannis	2013-10-01
* \| \|	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
* \| \|	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\| * \|	refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...	qadeer	2013-09-09