debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Dafny:	rustanleino	2010-03-31
*	Dafny: Ensures that function axioms are not being used while their consisten...	rustanleino	2010-03-19
*	Dafny:	rustanleino	2010-03-18
*	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:	rustanleino	2010-03-11
*	Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...	rustanleino	2010-03-11
*	Dafny:	rustanleino	2010-03-10
*	Boogie:	rustanleino	2010-02-20
*	Dafny:	rustanleino	2010-02-13
*	Dafny: Added if-then-else expressions (replacing and extending the previous b...	rustanleino	2010-02-04
*	Dafny: updated to reflect Boogie's new parsing of function arguments	rustanleino	2010-01-07
*	* Added decreases clauses to functions	rustanleino	2009-11-24
*	Added resolution and translation of algebraic datatypes and (in function bodi...	rustanleino	2009-11-20
*	Swapped previous file (Datatypes.bpl) for the correct test file (Datatypes.dfy).	rustanleino	2009-11-14
*	Start (some parsing and resolution) of adding algebraic datatypes to Dafny.	rustanleino	2009-11-08
*	Added a sequence update expression in Dafny.	rustanleino	2009-11-06
*	Redesigned the encoding of Dafny generics, including the built-in types set a...	rustanleino	2009-11-06
*	The Dafny call statement now automatically declares left-hand sides as local ...	rustanleino	2009-11-05
*	Introduced operator !in in Dafny. An expression "x !in S" is equivalent to "...	rustanleino	2009-11-05
*	Removed Output files. These are created on a local machine when the tests ar...	rustanleino	2009-08-07
*	Initial set of files.	mikebarnett	2009-07-15