debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	fixed an issue with parsing floating points	Checkmate50	2016-07-19
*	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	Did more refactoring.	wuestholz	2014-09-23
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
*	Fixed the Coco/R grammar and regenerated the parser.	wuestholz	2013-07-22
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	StringSeq: farewell	Ally Donaldson	2013-07-22
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring: PureCollections.Sequence not used anymore.	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
*	added parallel calls	Unknown	2013-03-01
*	removed call forall and * args to calls	Unknown	2013-02-23
*	Refactored code that generates an axiom for a function, and changed the prett...	Rustan Leino	2013-01-17
*	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
*	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
*	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
*	Fix atg file and add comment about Set/Variable/	Michal Moskal	2011-12-07
*	commented calls to GC.Collect()	qadeer	2011-11-18
*	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
*	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: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	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
*	Fixed problem where nullary function with definition had caused a crash.	rustanleino	2009-08-07