debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
\| \| \| \| \| \| \| \| \|	./AbsHoudini/ ./doomed/ ./z3api/ ./test17/ because their conversion to lit incomplete.
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Enabled bitvector lit tests.	Dan Liew	2014-05-07
\|
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ↵	Rustan Leino	2011-10-27
\| \| \| \|	The :forceBvZ3Native, :forceBvInt, and :bvint attributes were also eliminated.
*	added a new regression	qadeer	2011-07-09
\|
*	fixed bug in vcgen for bitvectors	qadeer	2011-07-09
\|
*	Updated parser.cs files to pick up the new .frame improvements from ↵	rustanleino	2010-10-26
\| \| \| \|	boogiepartners
*	Boogie: Fixed test 'bitvectors'.	wuestholz	2010-08-14
\|
*	Fix the test to use new name for /z3bv option.	MichalMoskal	2010-08-10
\|
*	Boogie: added /z3bv option that overrides the current setting of Z3 options ↵	stobies	2010-08-06
\| \| \| \|	for better performance on VCs that are heavy on bitvector arithmetic
*	Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete ↵	MichalMoskal	2009-12-17
\| \| \| \|	bvInt handling in Boogie
*	Fixed some bugs in the generation of bitvector input for Z3.	rustanleino	2009-09-29
\| \| \| \|	Deleted/ignored some binaries in the Binaries directory.
*	Removed Output files. These are created on a local machine when the tests ↵	rustanleino	2009-08-07
\| \| \| \|	are run.
*	Initial set of files.	mikebarnett	2009-07-15