debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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