debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Updated two test files.	Rustan Leino	2013-03-22
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Added a coinductive/inductive Filter example to the test suite	Rustan Leino	2013-03-18
*	Added several co-induction examples from a 1996 paper by Larry Paulson.	Rustan Leino	2013-03-15
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Changed calc syntax (custom operators are now written before the hint)	Nadia Polikarpova	2013-02-08
*	Added some test cases that show exmaples that iterate over set elements.	Rustan Leino	2013-02-02
*	Examples from co-induction paper	Rustan Leino	2013-01-22
*	More automatic co-induction for comethods	Rustan Leino	2013-01-20
*	Added some co- test cases. Fixed some bugs.	Rustan Leino	2013-01-20
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	allow a refinement to introduce "return" statements, at the price of re-verif...	Rustan Leino	2012-10-22
*	added some calculational proofs from Dijkstra's writings	Rustan Leino	2012-10-21
*	Test cases for co-inductive proofs, and an axiom that makes some of them poss...	Rustan Leino	2012-10-19
*	Support default (which, here, means nameless) class-instance constructors	Rustan Leino	2012-10-05
*	Fixed some goof-ups in the test script edits	Rustan Leino	2012-10-04
*	Added Test/dafny3 and another test file for iterators (hey, you can even run ...	Rustan Leino	2012-10-04