debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	Fixed minor issue.	wuestholz	2015-01-26
*	Minor change	wuestholz	2015-01-26
*	Fixed a postcondition.	wuestholz	2014-12-26
*	Added an annotation, :split_here, for predicate statements.	Bryan Parno	2014-12-16
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
*	Worked on the verification result caching.	wuestholz	2014-10-17
*	fixed StackOverflow in TraceCounterexample;	qadeer	2014-09-30
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
*	Did some refactoring.	wuestholz	2014-09-23
*	fixed codexpr bug reported by Michael Emmi; removed special handling of codex...	qadeer	2014-08-08
*	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-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
*	OnModel now carries the result of the prover call	akashlal	2014-06-28
*	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
*	Add support for assumption variables.	wuestholz	2014-04-21
*	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
*	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
*	Resolve a concurrency issue (reported by Alex Summers).	wuestholz	2013-12-12
*	Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...	Ally Donaldson	2013-12-02
*	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
\| *	fixed bug introduced by the last checkin in letvciterative	qadeer	2013-09-08
\| *	fixed the problem with codexprs	qadeer	2013-09-07
\| *	When a codeexpr is used at the top-level in an assume statement, we use the a...	qadeer	2013-09-04
\| *	Factored out the closure for codeexpr conversion so that it can be reused.	qadeer	2013-09-04
\| *	Applied Chris Hawblitzel's changes to deal with {:expand}	qadeer	2013-08-23
* \|	Merge	Pantazis Deligiannis	2013-08-20
\|\\|
* \|	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
\| *	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|/
*	Removed the remaining pure collections.	wuestholz	2013-07-23
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
*	StringSeq: farewell	Ally Donaldson	2013-07-22
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	Merge	Ally Donaldson	2013-07-22
\|\
* \|	More refactoring	Ally Donaldson	2013-07-22
* \|	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22