debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	added general floating point mantissa and exponent management	Dietrich	2015-05-04
*	added float type to the set array in Parser	Dietrich	2015-04-26
*	removed comments from Scanner.cs, changed the value of the float token kind t...	Dietrich	2015-04-26
*	added float type to Arithmetic Expression and added a new float test	Dietrich	2015-04-26
*	added a collection of console writes for debugging. These should be removed ...	Dietrich	2015-04-20
*	Added float type to the Parser and Scanner	Dietrich	2015-04-20
*	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