debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fix deadlock in the new thread scheduler	BarryBo	2016-08-12
\| \| \| \| \| \| \| \|	Fix deadlock where a Boogie task schedules a task and waits on it. The .NET threadpool creates more threads than cores, up to a limit, which hides the issue. The new policy did not account for recursion and caused the newly-created tasks to wait forever for the earlier ones to complete.
*	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.
*	Rename DLLs to non-generic names by prefixing "Boogie". Project names and	akashlal	2016-04-15
\| \| \| \|	namespaces remain the same.
*	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
\|
*	Make it not return cached verification results for timed-out implementations ↵	Valentin Wüstholz	2015-05-18
\| \| \| \|	when timeout diagnostics are enabled.
*	Minor refactoring	Valentin Wüstholz	2015-05-17
\|
*	Make caching of verification results more fine-grained for changes that ↵	Valentin Wüstholz	2015-05-17
\| \| \| \|	affect preconditions.
*	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
\|