debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\|
*	adding references to the floating point type wherever references to the real ↵	Dietrich	2015-04-17
\| \| \| \|	type exist. This remains a work in progress
*	Add some unit tests to check the enforcement of Expr immutability.	Dan Liew	2015-01-29
\| \| \| \| \| \| \|	For IdentifierExpr and the Type field of Expr. There are lots of places where it still isn't enforced but hopefully we'll fix those in due time.
*	Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowType	Dan Liew	2014-11-25
\| \| \| \|	fails when the Function is a FunctionCall
*	Change the ToolsVersion attribute of the Project tag in the recently	Dan Liew	2014-11-19
\| \| \| \| \| \| \|	added unit tests csproj files from 12.0 to 4.0. This done so that Monodevelop 5.0.1 can import these projects (it can't handle the newer ToolsVersion). This didn't seem to break anything in Visual Studio 2013
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
	so developers need to install it via NuGet. There aren't many tests yet. Just a few for Core and Basetypes but hopefully more will be added in the future. More information can be found in Source/UnitTests/README.md