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.
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
\| \| \| \| \| \|	When running boogie form the command line, this should be on by default. On the other hand, the TokenTextWriter constructors and PrintBplFile now have an argument for this, but by default it is off.
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| \| \| \|	spaces.
*	Enabled tests for types introduced in Boogie2 as lit tests.	Dan Liew	2014-05-07
\|
*	Initial set of files.	mikebarnett	2009-07-15