debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: added heuristics for finding witnesses in assign-such-that checking	Unknown	2012-08-10
*	Dafny: removed allocated, changed semantics of fresh	Jason Koenig	2012-07-29
*	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
*	Dafny: Changed the semantics of the assign-such-that statement "x :\| P;" to c...	Unknown	2012-06-13
*	Dafny: added assign-such-that statements; syntax: x,y,a[i],o.f :\| Expr;	Unknown	2012-03-15
*	Dafny: Fixed a bug in the pretty printer.	wuestholz	2011-12-26
*	Dafny: Extended the support for attributes on method/constructor calls.	wuestholz	2011-12-23
*	Dafny: Added support for attributes on method/constructor calls.	wuestholz	2011-12-21
*	Dafny: Added support for attributes on various specification constructs (asse...	wuestholz	2011-12-07
*	Dafny: fix bug in translation of (the splitting of) if-then-else expressions ...	Rustan Leino	2011-12-10
*	Dafny: Forward attributes on Dafny functions to Boogie (e.g., to disable well...	wuestholz	2011-12-07
*	Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s...	Rustan Leino	2011-10-26
*	Dafny: Added support for attributes on methods and constructors.	wuestholz	2011-09-16
*	Dafny: Fixed axioms for Seq#Contains vs. the sequence building functions	Rustan Leino	2011-06-29
*	Merge	Rustan Leino	2011-05-27
\|\
\| *	Dafny: permanently changed the syntax of "datatype" declarations to what prev...	Rustan Leino	2011-05-27
* \|	Dafny: fixed bug (ill-formed Boogie) in translation of "foreach" for sequences	Rustan Leino	2011-05-26
\| *	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
\| *	Dafny:	Rustan Leino	2011-05-21
\|/
*	Dafny: Test case for sequence of boxed booleans	Rustan Leino	2011-05-16
*	Dafny: added optional range expressions to logical quantifiers, preparing for...	Rustan Leino	2011-05-15
*	Dafny: Added support for an initializing call as part of the new-allocation s...	rustanleino	2011-03-27
*	Dafny:	rustanleino	2011-02-17
*	Dafny: Added two additional heuristics for guessing missing loop decreases c...	rustanleino	2010-06-11
*	Dafny:	rustanleino	2010-05-21
*	Dafny:	rustanleino	2010-03-16
*	Dafny:	rustanleino	2010-03-16
*	Dafny: Added definedness checks for all statements (previously, some were mi...	rustanleino	2010-03-13
*	Added wellformedness checks to method specifications	rustanleino	2010-03-12
*	Dafny:	rustanleino	2010-03-12
*	Dafny: Added if-then-else expressions (replacing and extending the previous b...	rustanleino	2010-02-04
*	* Added decreases clauses to functions	rustanleino	2009-11-24
*	Added a sequence update expression in Dafny.	rustanleino	2009-11-06
*	Initial set of files.	mikebarnett	2009-07-15