debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	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
*	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
*	Merge	qadeer	2015-01-16
\|\
* \|	removed "layer" attribute from the desugared program	qadeer	2015-01-16
\| *	Removed unnecessary stage-related attributes from candidate annotations.	Ally Donaldson	2015-01-10
\|/
*	Updated to Staged Houdini	Ally Donaldson	2015-01-08
*	Minor changes	wuestholz	2015-01-02
*	Minor change	wuestholz	2014-12-26
*	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 a todo.	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
*	Minor changes	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
*	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
*	Minor refactoring	wuestholz	2014-08-03
*	Changed how canceled tasks are dealt with.	wuestholz	2014-07-31
*	removed /doNotUseParallelism	qadeer	2014-07-30
*	Made it bound the number of executing tasks by the number of cores specified ...	wuestholz	2014-07-30
*	Refactored how checksums are computed.	wuestholz	2014-07-13
*	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
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Made it collect more statistics about the more advanced verification result c...	wuestholz	2014-07-04
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Made it collect more statistics about the more advanced verification result c...	wuestholz	2014-07-01
*	Made it collect some statistics about the more advanced verification result c...	wuestholz	2014-06-30
*	a fix in Inline method; it should look for inline attribute only on procedure...	qadeer	2014-06-28
*	Added a program cache (used by the more advanced verification result caching).	wuestholz	2014-06-28
*	Changed the verification result cache to use the built-in 'MemoryCache' class.	wuestholz	2014-06-28
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Changed the 'verifySnapshots' command-line option to accept a numeric argumen...	wuestholz	2014-06-20
*	Refactored modset analysis to avoid the use of static fields. Static fields ...	Ally Donaldson	2014-06-06
*	Fixed minor issue.	wuestholz	2014-05-28
*	Undid accidental commit	Ally Donaldson	2014-05-27
*	Merge	Ally Donaldson	2014-05-27
*	Teach the ExecutionEngine to respect the -useBaseNameForFileName commandline	Dan Liew	2014-04-09