debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Allow attributes on procedure formals, function formals, and bound variables	Unknown	2013-01-07
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	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
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Dafny and Boogie: get rid of 'static' fields in parser	Rustan Leino	2012-08-21
*	added attributes to loop invariants	qadeer	2012-03-23
*	make the call to ProcessDataTypeConstructors in the right place	qadeer	2012-03-11
*	Boogie: map the given filename stdin.bpl to standard input	Unknown	2012-03-09
*	made delegate a datatype	qadeer	2011-12-30
*	Make set iteration order deterministic	Michal Moskal	2011-12-07
*	changed the semantics of requires and ensures for inlined procedures	qadeer	2011-11-17
*	Added "free call" statements that don't check the precondition in the caller.	wuestholz	2011-09-14
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	Boogie: white-space formating	Rustan Leino	2011-06-05
*	close the file stream opened by the parser	Unknown	2011-05-19
*	Boogie: Eliminated a couple of warnings by removing unused variable declarati...	wuestholz	2011-01-21
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Updated parser.cs files to pick up the new .frame improvements from boogiepar...	rustanleino	2010-10-26
*	Boogie:	rustanleino	2010-10-26
*	Boogie:	rustanleino	2010-09-23
*	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: Renaming core sources in preparation for port commit	tabarbe	2010-08-20