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 Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	added the QED build configuration	qadeer	2013-12-02
*	CVC4 Parser	pantazis	2013-06-12
*	Added BigDec as representation for (floating-point) decimal values	boehmes	2012-09-27
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	One more link to version.cs	stobies	2010-12-06
*	Get rid of F# dependencies - use System.Numerics and a custom Rational struct...	MichalMoskal	2010-12-02
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Update to VS2010.	MichalMoskal	2010-10-07
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Boogie: Changed the cce classes into one separate project, which every other ...	tabarbe	2010-08-27
*	Boogie: Basetypes port 1/3: Committing new sources	tabarbe	2010-08-27
*	Boogie: Renaming the Basetypes sources in preparation for my port commit.	tabarbe	2010-08-27