debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
*	Added methods to read a file from any Stream object	akashlal	2010-08-12
*	Boogie: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
*	Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...	wuestholz	2010-07-06
*	Updated the frame files to work with the latest Coco/R. This entails not ha...	mikebarnett	2010-06-22
*	added attributes to CallForallCmd as well	qadeer	2010-03-07
*	added the ability to annotate calls with attributes	qadeer	2010-03-06
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...	MichalMoskal	2010-02-19
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
*	Allow ":" in addition to "returns" in function definitions. Make the pretty-p...	MichalMoskal	2009-12-17
*	Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit...	stobies	2009-09-07
*	Fixed problem where nullary function with definition had caused a crash.	rustanleino	2009-08-07
*	Initial set of files.	mikebarnett	2009-07-15