debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Changed version to 1.9.3.20406 and updated copyright year to include 2015.	leino	2015-04-06
*	Minor change due to a change in Boogie	wuestholz	2015-01-13
*	Added command-line switch /allowGlobals to simplify transition from language ...	leino	2015-01-07
*	Add a DafnyCC option that disables some of Dafny's cleverness to better match...	Bryan Parno	2014-10-27
*	Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...	Bryan Parno	2014-10-27
*	Add an option to allow automatically generated requirements to be printed	Bryan Parno	2014-10-27
*	Add an option to use reduce Z3's knowledge of non-linear arithmetic.	Bryan Parno	2014-10-24
*	Added /compile:3, which compiles in memory and then executes the program (if ...	Rustan Leino	2014-01-13
*	Produce "tail recursive" hover text in the IDE only for methods that are recu...	Rustan Leino	2013-12-13
*	Add a command-line option to disable include directives.	Bryan Parno	2013-12-13
*	Fixed printing of Dafny version number.	Rustan Leino	2013-01-23
*	Put all sources under \Source directory	Rustan Leino	2012-10-04