debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\|
*	VC gen for security properties	akashlal	2015-04-05
\|
*	fixed crash reported by Dan.	qadeer	2015-03-02
\| \| \| \|	DoModSetAnalysis needs to run before the linear and mover type checking.
*	Made the trace output for the caching more detailed.	wuestholz	2015-01-29
\|
*	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
\|
*	Worked on the verification result caching (use weights for extracted functions).	wuestholz	2015-01-24
\|
*	Merge	qadeer	2015-01-16
\|\
* \|	removed "layer" attribute from the desugared program	qadeer	2015-01-16
\| \|
\| *	Merge	Ally Donaldson	2015-01-13
\| \|\ \| \|/ \|/\|
\| *	Removed unnecessary stage-related attributes from candidate annotations.	Ally Donaldson	2015-01-10
\| \|
* \|	Minor changes to the "Checked" build configuration	wuestholz	2015-01-09
\|/
*	Updated to Staged Houdini	Ally Donaldson	2015-01-08
\|
*	Minor changes	wuestholz	2015-01-02
\|
*	Minor change in verification result caching (extracted functions)	wuestholz	2014-12-28
\|
*	Minor change	wuestholz	2014-12-26
\|
*	Added todos.	wuestholz	2014-11-26
\|
*	Worked on the verification result caching (extracted functions).	wuestholz	2014-11-25
\|
*	Fixed issues in the verification result caching (old expressions).	wuestholz	2014-11-24
\|
*	Worked on the verification result caching.	wuestholz	2014-11-23
\|
*	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-03
\|
*	Fixed minor issue.	wuestholz	2014-11-02
\|
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
\|
*	Added more tests for the verification result caching.	wuestholz	2014-10-19
\|
*	Added a todo.	wuestholz	2014-10-18
\|
*	Did some refactoring.	wuestholz	2014-10-18
\|
*	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-15
\|
*	Did some refactoring.	wuestholz	2014-10-15
\|
*	Minor changes	wuestholz	2014-10-15
\|
*	Fix issue in computation of checksums for calls.	wuestholz	2014-10-15
\|
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
\|
*	Minor change	wuestholz	2014-10-14
\|
*	Fix issue in verification result caching.	wuestholz	2014-10-14
\|
*	Minor changes	wuestholz	2014-10-13
\|
*	Minor change	wuestholz	2014-10-13
\|
*	Add '/traceCaching' flag.	wuestholz	2014-10-13
\|
*	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 minor issue.	wuestholz	2014-09-19
\|
*	Minor refactoring	wuestholz	2014-08-03
\|
*	Changed how canceled tasks are dealt with.	wuestholz	2014-07-31
\|
*	removed /doNotUseParallelism	qadeer	2014-07-30
\|