debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Fix bug in BigDec.FloorCeiling() which gave the wrong answers for	Dan Liew	2015-03-10
*	Protect Bitvector field of BvExtractExpr when it is immutable.	Dan Liew	2015-02-12
*	Protect E0 and E1 in BvConcatExpr if Expr is immutable.	Dan Liew	2015-02-12
*	Protect the Args field of NAryExpr when it is immutable.	Dan Liew	2015-02-12
*	Backed out changeset ed4196d6fe50	Dan Liew	2015-01-29
*	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
*	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
*	Add unit test to catch another bug in Boogie where FunctionCall ShallowType	Dan Liew	2014-11-25
*	Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowType	Dan Liew	2014-11-25
*	Change the ToolsVersion attribute of the Project tag in the recently	Dan Liew	2014-11-19
*	Make run-unittests.py executable under Linux/OSX. This	Dan Liew	2014-11-17
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17