debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Run Boogie code on threads with large stacks	BarryBo	2016-07-22
\| \| \| \| \| \| \|	Replace TaskScheduler.Default by a custom TaskScheduler. The .Default uses threadpool threads whose stack size is controlled by the host EXE header. The new ThreadTaskScheduler give Boogie control over the stack size, and defaults to 16mb.
*	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
\|
*	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-10-01
\|
*	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-09-30
\|
*	update	Shaz Qadeer	2015-09-28
\|
*	cleaned up some names	Shaz Qadeer	2015-09-28
\|
*	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: Source/Core/CommandLineOptions.cs Source/ExecutionEngine/ExecutionEngine.cs Source/ExecutionEngine/VerificationResultCache.cs Source/VCGeneration/VC.cs Test/snapshots/runtest.snapshot Test/snapshots/runtest.snapshot.expect
* \|	Added /verifySnapshots:3, which prints recycled errors messages with the ↵	Rustan Leino	2015-08-28
\| \| \| \| \| \| \| \|	source locations of the new code.
\| *	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\|/ \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
\|
*	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
\|
*	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
\| \| \| \|	(vcsCores).
*	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 ↵	wuestholz	2014-07-06
\| \| \| \|	advanced verification result caching even for implementations with errors.
*	Made it collect more statistics about the more advanced verification result ↵	wuestholz	2014-07-04
\| \| \| \|	caching.
*	Fixed issue involving axioms in the dependency analysis used for ↵	wuestholz	2014-07-03
\| \| \| \|	verification result caching.
*	Made it collect more statistics about the more advanced verification result ↵	wuestholz	2014-07-01
\| \| \| \|	caching.
*	Made it collect some statistics about the more advanced verification result ↵	wuestholz	2014-06-30
\| \| \| \|	caching.
*	a fix in Inline method; it should look for inline attribute only on ↵	qadeer	2014-06-28
\| \| \| \|	procedures and implementations
*	Added a program cache (used by the more advanced verification result caching).	wuestholz	2014-06-28
\|