debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Add /view:<view1, view2> option to filter module exports to be printed.	qunyanm	2016-02-11
\|
*	Refactor the error reporting code	Clément Pit--Claudel	2015-08-18
\| \| \| \| \|	The new error reporting system has a simpler interface, isn't tied to the resolver, and contains error source information.
*	Minor change	wuestholz	2014-12-26
\|
*	Ensure that no file is processed twice, even if one command-line file is ↵	Bryan Parno	2014-10-27
\| \| \| \|	included by another command-line file.
*	Add support for counting spec/impl/proof lines by supressing, e.g., ghost ↵	Bryan Parno	2014-10-27
\| \| \| \|	statements
*	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
\|
*	Members included from different files are now internally marked with an ↵	Rustan Leino	2014-04-19
\| \| \| \| \| \| \|	IncludeToken; the previous scheme of using {:verify false} is no longer used. This makes "include" work with refinement features. Filenames of included files used in error messages are now what the user wrote, rather than absolute paths (which not only don't look so good, but are also problematic in comparing test output on different machines). Added dafny0/Includee.dfy to the test suite as well -- might as well include it, too, to get checked.
*	Fix a possible null dereference.	wuestholz	2013-12-18
\|
*	Add a command-line option to disable include directives.	Bryan Parno	2013-12-13
\|
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
\| \| \| \| \|	to another Dafny file. That file's functions and methods are included but not checked. This is intended to support incremental verification on a per-file basis.
*	Put all sources under \Source directory	Rustan Leino	2012-10-04