debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Change behavior of 'decreases *', which can be applied to loops and methods. ...	Rustan Leino	2014-08-19
*	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Fixed bug in translation of method termination checks, and also fixed a (prev...	Rustan Leino	2013-01-23
*	Added/fixed decreases clauses that use multisets or maps.	Unknown	2012-10-16
*	changed default decreases clause for functions with a reads clause: use the r...	Rustan Leino	2012-10-04
*	Dafny: now, equality-support determination and checking feels ripe; so, codat...	Rustan Leino	2012-06-22
*	Fixed failing regression tests.	Jason Koenig	2011-07-14
*	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: retired the "call" keyword	Rustan Leino	2011-05-26
*	Dafny:	Rustan Leino	2011-05-21
*	Dafny: Added heuristic for when to turn on the induction tactic	rustanleino	2011-03-05
*	Dafny:	rustanleino	2011-02-17
*	Dafny: every decreases clause implicitly ends with a never-ending sequence of...	rustanleino	2011-02-03
*	Dafny:	rustanleino	2010-06-24
*	Dafny:	rustanleino	2010-06-19
*	Dafny: Added two additional heuristics for guessing missing loop decreases c...	rustanleino	2010-06-11
*	Added resolution and translation of algebraic datatypes and (in function bodi...	rustanleino	2009-11-20
*	The Dafny call statement now automatically declares left-hand sides as local ...	rustanleino	2009-11-05
*	Initial set of files.	mikebarnett	2009-07-15