debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	Implemented an additional type check for assumption variables.	wuestholz	2014-05-27
*	Remove old python testing scripts	Dan Liew	2014-05-11
*	Enabled lit tests for test1/ directory	Dan Liew	2014-05-06
*	Add support for assumption variables.	wuestholz	2014-04-21
*	cleaned up the OG code	qadeer	2013-08-07
*	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...	Pantazis Deligiannis	2013-07-07
*	removed call forall and * args to calls	Unknown	2013-02-23
*	Boogie and Dafny: adjustments to the test suite expected output (and a tempor...	Unknown	2012-09-27
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...	MichalMoskal	2010-02-19
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
*	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