debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
*	Set the following tests to expected failure under lit. Having these	Dan Liew	2014-05-19
*	Remove old python testing scripts	Dan Liew	2014-05-11
*	Enabled "Verify Boogie 2" lit tests. Note the following tests fail	Dan Liew	2014-05-07
*	Fixed bug in printing real literals	Rustan Leino	2014-02-10
*	do monomorphic checking	qadeer	2013-11-22
*	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...	Pantazis Deligiannis	2013-07-07
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Don't run test21 with the untyped Z3, as this is no longer going to be available	MichalMoskal	2011-02-18
*	Allow ":" in addition to "returns" in function definitions. Make the pretty-p...	MichalMoskal	2009-12-17
*	Removed Output files. These are created on a local machine when the tests ar...	rustanleino	2009-08-07
*	Initial set of files.	mikebarnett	2009-07-15