debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Clean up .gitignore file	Dan Liew	2015-04-03
\|
*	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
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Ignore TPTP dlls	MichalMoskal	2011-01-19
\|
*	More BCT ignores	MichalMoskal	2010-12-10
\|
*	Ignore some BCT files	MichalMoskal	2010-12-10
\|
*	Rename BVD binary to (suprise!) BVD	MichalMoskal	2010-12-08
\|
*	Remove FSharp DLLs (no longer needed) and obsolete Makefile	MichalMoskal	2010-12-06
\|
*	Ignore more generated files.	MichalMoskal	2010-12-02
\|
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
\|
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
\|
*	Add one more file	MichalMoskal	2010-10-07
\|
*	Update to include all build artifacts, also from Dafny	MichalMoskal	2010-10-07
\|
*	Addint ignore file for GIT	stobies	2010-08-27