debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Make NUnit.Runners a require NuGet package again. This is an	Dan Liew	2015-01-29
*	Tweak the unit test documentation on Visual studio.	Dan Liew	2015-01-29
*	Try to fix the "out-of-the-box" build of Boogie under Visual Studio. It turns	Dan Liew	2015-01-29
*	Improve documentation on testing.	Dan Liew	2015-01-29
*	Made the trace output for the caching more detailed.	wuestholz	2015-01-29
*	Add unit tests to check that ComputeHashCode() and GetHashCode() agree	Dan Liew	2015-01-29
*	Add unit tests to check that ComputeHashCode() and GetHashCode() agree	Dan Liew	2015-01-29
*	Protect the body of ForAllExpr, ExistsExpr and LambdaExpr when they	Dan Liew	2015-01-29
*	Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possible	Dan Liew	2015-01-29
*	Protect the NAryExpr.Fun field when the NAryExpr is immutable.	Dan Liew	2015-01-29
*	Protect the Expr field of OldExpr if it is immutable. Add unit test	Dan Liew	2015-01-29
*	Add some unit tests to check the enforcement of Expr immutability.	Dan Liew	2015-01-29
*	Protect the Type field of an Expr if is Immutable. Note if the Expr	Dan Liew	2015-01-29
*	Protect the Name and Decl fields of IdentifierExpr when it is	Dan Liew	2015-01-29
*	Prevent a BvConst being changed once constructed. The motivation	Dan Liew	2015-01-29
*	Add the ability to declare Expr to be immutable at construction time.	Dan Liew	2015-01-29
*	minor fix to the golden file	qadeer	2015-01-28
*	added lit stuff at the top of the file and the golden output	qadeer	2015-01-28
*	Work stealing queue (PLDI '12 Vechev et al.)	Unknown	2015-01-28
*	Handle timeout in refinement loop	akashlal	2015-01-28
*	Merge	qadeer	2015-01-27
\|\
* \|	removed unused functions and axioms to make the verification faster	qadeer	2015-01-27
\| *	Fixed minor issue.	wuestholz	2015-01-26
\| *	Worked on the verification result caching (statement checksums).	wuestholz	2015-01-26
\| *	Minor change	wuestholz	2015-01-26
\| *	Minor change	wuestholz	2015-01-26
\| *	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
\| *	Change the return type of StandardVisitor.VisitLiteralExpr() from	Dan Liew	2015-01-25
\| *	Change the return type of StandardVisitor.VisitExistsExpr() from	Dan Liew	2015-01-25
\| *	Change the return type of StandardVisitor.VisitForAllExpr() from	Dan Liew	2015-01-25
\| *	Change the return type of StandardVisitor.VisitBvExtractExpr() from	Dan Liew	2015-01-25
\| *	Change the return type of StandardVisitor.VisitBvConcatExpr() from	Dan Liew	2015-01-25
\| *	Worked on the verification result caching (use weights for extracted functions).	wuestholz	2015-01-24
\| *	Worked on the verification result caching (use native support for partially v...	wuestholz	2015-01-16
\| *	Fixes to StagedHoudini	Ally Donaldson	2015-01-23
\| *	Merge	Ally Donaldson	2015-01-22
\| \|\ \| \|/ \|/\|
\| *	Fixes to StagedHoudini	Ally Donaldson	2015-01-22
* \|	Merge	qadeer	2015-01-16
\|\\|
* \|	removed "layer" attribute from the desugared program	qadeer	2015-01-16
\| *	Worked on StagedHoudini	Ally Donaldson	2015-01-16
\| *	Fix related to limitations in CVC4 model parsing	Ally Donaldson	2015-01-14
\| *	Merge	Ally Donaldson	2015-01-13
\| \|\
\| \| *	Merging changes from wuestholz/BoogieInvariantFixesIIII	wuestholz	2015-01-13
\| \| \|\
\| \| * \|	Merging changes from 0biha/BoogieInvariantFixesIIIa	wuestholz	2015-01-13
\| \|/\| \| \|/\| \| \|
\| * \| \|	Removed unnecessary stage-related attributes from candidate annotations.	Ally Donaldson	2015-01-10
\| \| \| *	Made 2 invariants of class 'VariableCollector' robust by:	wuestholz	2015-01-09
\| \| \| *	Made invariant of class 'Trigger' robust by:	wuestholz	2015-01-09
\| \| \| *	Made invariant of class 'StmtList' robust by:	wuestholz	2015-01-09
\| \| \| *	Made invariant of class 'StmtList' robust by:	wuestholz	2015-01-09
\| \| \| *	Made invariant of class 'QKeyValue' robust by:	wuestholz	2015-01-09