debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
*	Boogie and Dafny: adjustments to the test suite expected output (and a tempor...	Unknown	2012-09-27
*	Updated test 'test15' that would fail with Z3 4.1 (different ordering of elem...	wuestholz	2012-09-12
*	Dafny and Boogie: get rid of 'static' fields in parser	Rustan Leino	2012-08-21
*	Also updated test15	Rustan Leino	2012-08-14
*	Boogie: updated test15/Answer (which showed as a permutation of the previous ...	Rustan Leino	2012-06-29
*	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
*	Update to match the new model printing format	Michal Moskal	2012-04-30
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
*	Updated the ANSWER file for 'test15'.	wuestholz	2011-09-27
*	Updates to Answer files from recent changes	rustanleino	2011-03-01
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	ModelViewer:	rustanleino	2010-11-02
*	Updated Answer file to go with the previous check-in.	rustanleino	2010-11-02
*	Skip unchagned variables in model dumps. Fix testcase	MichalMoskal	2010-10-14
*	Add missing Clone() when storing incarnation maps; update testcase to make th...	MichalMoskal	2010-10-12
*	Boogie:	rustanleino	2010-10-12
*	Boogie:	rustanleino	2010-09-24
*	Boogie:	rustanleino	2010-09-23
*	Boogie: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	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