debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
*	fixed bug in vcgen for bitvectors	qadeer	2011-07-09
*	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 f...	stobies	2010-08-06
*	Remove vcc1 testcase that never worked with Boogie2 and is testing obsolete b...	MichalMoskal	2009-12-17
*	Fixed some bugs in the generation of bitvector input for Z3.	rustanleino	2009-09-29
*	Initial set of files.	mikebarnett	2009-07-15