debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.	leino	2016-04-01
*	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
*	Add /view:<view1, view2> option to filter module exports to be printed.	qunyanm	2016-02-11
*	Made /rewriteFocalPredicates:1 the default	Rustan Leino	2015-10-02
*	Hover text includes #[_k-1] suffix for terms rewritten in prefix predicates/l...	Rustan Leino	2015-10-02
*	fix for warnings related to deprecated z3 options (please update to the lates...	Michael Lowell Roberts	2015-09-22
*	Only print extraneous comments if asked.	Michael Lowell Roberts	2015-09-17
*	Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)	Clément Pit--Claudel	2015-08-27
*	Merge.	Clément Pit--Claudel	2015-08-19
\|\
* \|	Use a nice warning symbol in some warning messages	Clément Pit--Claudel	2015-08-18
\| *	Moved discovery of induction variables into a Rewriter.	leino	2015-08-11
\|/
*	Add a Linux z3 binary to the repo, and use that or z3.exe based on the OS	Clément Pit--Claudel	2015-07-31
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Clean up a few thing and set proper defaults before merging	Clément Pit--Claudel	2015-07-16
* \|	Add /printTooltips and /autoTriggers to the CLI	Clément Pit--Claudel	2015-07-13
\| *	[IronDafny] implemented workaround for "import opened" bug(s).	Michael Lowell Roberts	2015-07-13
\| *	Added command-line option /warnShadowing, which emits warnings if variables s...	Rustan Leino	2015-07-02
\| *	Add code to calculate various interesting statistics about Dafny files.	Bryan Parno	2015-07-01
\|/
*	added -optimize option to compiler.	Michael Lowell Roberts	2015-06-12
*	Fix the UseBaseNameForFileName flag; it shouldn't set the return code to zero.	Clément Pit--Claudel	2015-06-07
*	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