debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...	Rustan Leino	2011-11-21
*	Dafny: Cleaned up proof of RevConcat in test case	Rustan Leino	2011-11-08
*	Dafny: in test suite (Rippling.dfy), replaced an inline lemma with a call to ...	Rustan Leino	2011-11-04
*	Dafny induction:	Rustan Leino	2011-10-29
*	Dafny: updated test files (will soon update Answer files as well)	Rustan Leino	2011-08-22
*	Dafny: added reverse*reverse=id example to test suite	Rustan Leino	2011-08-04
*	Dafny: re-ran parser generator to include semicolon-less body-less functions/...	Rustan Leino	2011-07-26
*	Merge	Rustan Leino	2011-07-21
\|\
* \|	Dafny: call previous lemma instead of restating it	Rustan Leino	2011-07-21
\| *	Fixed regression test failures due to removal of bodiless methods and functions.	Jason Koenig	2011-07-15
\|/
*	Dafny: allow constructors only inside classes, removed semi-colons at end of ...	Rustan Leino	2011-07-11
*	Dafny: permanently changed the syntax of "datatype" declarations to what prev...	Rustan Leino	2011-05-27
*	Dafny:	Rustan Leino	2011-05-21
*	Dafny: added manual proofs for 5 theorems in Rippling.dfy	Rustan Leino	2011-04-12
*	Dafny: Fixed typo in P16 of Rippling benchmarks, which now makes it (true and...	rustanleino	2011-03-07
*	Dafny:	rustanleino	2011-03-06