debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Scanner generation with Coco	0biha	2014-12-24
*	Made invariant of class 'Scanner' robust by changing the design (replaced pub...	0biha	2014-12-23
*	Did more refactoring.	wuestholz	2014-09-23
*	Added /useBaseNameForFile command line argument. The Scanner	Dan Liew	2014-04-06
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
*	added parallel calls	Unknown	2013-03-01
*	removed call forall and * args to calls	Unknown	2013-02-23
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: new syntax for integer division and modulus: use div and mod instead ...	boehmes	2012-09-27
*	Boogie: Simplified (and liberalized) parsing of string literals as attribute ...	Unknown	2012-03-12
*	updated Boogie strings so that they can refer to \" (and more)	qadeer	2012-03-12
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Boogie:	rustanleino	2010-10-26
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20