debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
*	Report error if type of a quantified variable cannot be inferred	Rustan Leino	2013-02-11
*	Translate let-such-that expressions	Rustan Leino	2013-01-22
*	fixed and improved scheme for inferring type parameters	Rustan Leino	2012-10-19
*	improved and fixed compilation and resolution of assign-such-that statements	Rustan Leino	2012-10-05
*	Support default (which, here, means nameless) class-instance constructors	Rustan Leino	2012-10-05
*	Bugfix in the translation of calc statements (oops), added more resolution an...	Nadia Polikarpova	2012-09-21
*	Added tests for parsing and resolution of calc statements	Nadia Polikarpova	2012-09-21
*	Dafny: allow various forms of leaving off type arguments in declarations	Rustan Leino	2012-02-16
*	Dafny: don't allow ghost expressions in print statements	Rustan Leino	2012-01-03
*	Dafny: implemented the wellformedness check that datatype destructors are onl...	Rustan Leino	2011-11-11
*	Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)	Rustan Leino	2011-08-03
*	Dafny: added implicit datatype query fields and datatype destructor fields	Rustan Leino	2011-06-05
*	Dafny: added constructors	Rustan Leino	2011-05-28
*	Dafny: added chaining operators	Rustan Leino	2011-05-27
*	Dafny:	Rustan Leino	2011-05-26
*	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny: allow class names to be used when referring to static functions (and, ...	Rustan Leino	2011-05-21
*	Cleaner version of ghost loop termination example.	Unknown	2011-05-13
*	Dafny: fixed bugs in resolution of multi-dimensional arrays	Rustan Leino	2011-05-12
*	Dafny: forbid "decreases *" on ghost loops	Rustan Leino	2011-05-12