debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge remote-tracking branch 'refs/remotes/origin/dafny-bug-fix'	qunyanm	2015-11-25
\|\
* \	Merge remote-tracking branch 'refs/remotes/origin/dafny-bug-fix'	qunyanm	2015-11-25
\|\ \
\| \| *	Use the EndCurly token when creating the ReturnCmd for unifiedExit	qunyanm	2015-11-25
\| \|/
* \|	Fix issue with partially-verified assertions.	Valentin Wüstholz	2015-11-19
* \|	Add experimental support for optimization (requires Z3 build after changeset ...	Valentin Wüstholz	2015-11-18
\| *	Use EndCurly token for the ReturnCmd when creating unifiedExit	qunyanm	2015-11-16
\| *	Use EndCurly token for the ReturnCmd when creating unifiedExit	qunyanm	2015-11-16
\|/
*	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-09-30
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
*	Make caching of verification results more fine-grained for changes that affec...	Valentin Wüstholz	2015-05-17
*	Make it preserve the fact that the value of an assumption variable never beco...	Valentin Wüstholz	2015-05-06
*	Made it produce slightly different passive commands for assignments to assump...	wuestholz	2015-01-30
*	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
*	Worked on the verification result caching (use native support for partially v...	wuestholz	2015-01-16
*	Fix related to limitations in CVC4 model parsing	Ally Donaldson	2015-01-14
*	Worked on more native support for partially-verified assertions.	wuestholz	2014-12-28
*	Optimized the VC generation for assumption variables.	wuestholz	2014-12-07
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
*	Worked on the verification result caching.	wuestholz	2014-11-10
*	Worked on the verification result caching.	wuestholz	2014-11-05
*	Worked on the verification result caching.	wuestholz	2014-11-03
*	Worked on the verification result caching.	wuestholz	2014-11-03
*	Fixed minor issue.	wuestholz	2014-11-02
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
*	Did some refactoring.	wuestholz	2014-11-02
*	Worked on the verification result caching.	wuestholz	2014-10-19
*	Worked on the verification result caching.	wuestholz	2014-10-19
*	Did some refactoring.	wuestholz	2014-10-18
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
*	Worked on the verification result caching.	wuestholz	2014-10-17
*	Worked on the verification result caching.	wuestholz	2014-10-17
*	Did some refactoring.	wuestholz	2014-10-16
*	Worked on the verification result caching.	wuestholz	2014-10-16
*	Fix issue in verification result caching.	wuestholz	2014-10-15
*	Fix issue in verification result caching.	wuestholz	2014-10-15
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
*	Fix issue in verification result caching for assertions without subsumption.	wuestholz	2014-10-13
*	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