debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Add a todo.	wuestholz	2014-10-13
*	Fixed assertion violation.	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
*	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-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
*	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
*	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
*	Merge	Pantazis Deligiannis	2013-08-20
\|\
* \|	new option for reversing the topological order - this could potentially help ...	Pantazis Deligiannis	2013-08-19
\| *	Fixed a contract.	wuestholz	2013-08-09
\| *	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|/
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	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
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Fixed bugs arising from differences between hashtables and dictionaries	Ally Donaldson	2013-07-22
\| *	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
\| *	Refactored variable2sequenceNumber to use Dictionary	Ally Donaldson	2013-07-22
* \|	merge	Pantazis Deligiannis	2013-07-19
\|\\|
\| *	Populate a model only once.	Rustan Leino	2013-07-18
* \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \| \|/ \|/\|
* \|	Worked on the parallelization.	wuestholz	2013-07-12
* \|	Worked on the parallelization.	wuestholz	2013-07-11
* \|	Worked on the parallelization.	wuestholz	2013-07-11
* \|	Worked on the parallelization.	wuestholz	2013-07-10
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\ \| \|/ \|/\|
* \|	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
* \|	Did some refactoring in the execution engine.	wuestholz	2013-06-14
\| *	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...	pantazis	2013-06-13
\|/
*	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