debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: Eliminated a couple of warnings by removing unused variable ↵	wuestholz	2011-01-21
\| \| \| \|	declarations from the Boogie Coco/R grammar.
*	Boogie:	rustanleino	2010-09-23
\| \| \| \| \| \|	* Added /mv flag as the start of a Boogie replacement for /cev * Allow attributes on assume statements * /mv looks for the assume-statement attribute :captureState with a string-literal argument
*	Changed the interface of Parse so that it can consume a program from a Stream	akashlal	2010-09-03
\|
*	Boogie: Committing changed source files	tabarbe	2010-08-20
\|
*	Boogie: Added boolean code expressions (sans well-formedness checks on the ↵	rustanleino	2010-08-10
\| \| \| \|	input).
*	Boogie: Added an additional parameter 'defines' to the method ↵	wuestholz	2010-07-06
\| \| \| \|	'BoogiePL.Parser.Parse'.
*	Updated the frame files to work with the latest Coco/R. This entails not ↵	mikebarnett	2010-06-22
\| \| \| \| \| \|	having them in this repository because of license issues. Instead, they must be downloaded from http://boogiepartners.codeplex.com/ and then copied into the appropriate directories. Lots of code changes to compensate for the new frame files.
*	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 ↵	MichalMoskal	2010-02-19
\| \| \| \|	expressions; they might not yet fully work for polymorphic maps.
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
\|
*	Allow ":" in addition to "returns" in function definitions. Make the ↵	MichalMoskal	2009-12-17
\| \| \| \| \| \| \| \|	pretty-printer use ":" not "returns". Allow foo(x,y,z:int,p,q:ptr) kind of syntax in function definitions. Consequently foo(int,y:bool) is no longer allowed. Update the testsuite to match that.
*	Fixed problem where nullary function with definition had caused a crash.	rustanleino	2009-08-07
\|
*	Initial set of files.	mikebarnett	2009-07-15