debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)	Clément Pit--Claudel	2015-08-27
\| \| \| \| \| \|	Dafny now first looks for a z3 binary in z3/bin, and if it can't find one it looks for one in Binaries/z3.exe (mostly for backwards-compatibility with already set-up source installations).
*	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.
*	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
\| \| \| \| \| \| \| \| \|	Dafny counts from 0, but Boogie counts from 1. Tokens are 1-based. Thus when we print tokens, we need to decrement the column number. This was done for resolver errors, but not for verification or parsing errors. In addition, parsing errors were inconsistent with resolution errors case-wise. Unfortunately, the fix affects the output of many tests.
*	Add code to calculate various interesting statistics about Dafny files.	Bryan Parno	2015-07-01
\|
*	System.Collections.Immutable.dll is now stored in the Binaries directory and ↵	Michael Lowell Roberts	2015-06-16
\| \| \| \|	copied to the output directory when the /optimize flag is used.
*	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
\| \| \| \| \|	The test suite relies on error codes all being zero (except for preprocessing errors), so add a flag for that (as suggested in a source comment).
*	Merge	leino	2015-01-03
\|\
\| *	Minor change	wuestholz	2014-12-26
\| \|
* \|	Fixed bug in /compile:3, when Main is explicitly given as a static method	leino	2014-12-12
\|/
*	Now the parser parses "Type" rather than "IToken" for a trait	Reza Ahmadi	2014-11-05
\|
*	Create large stack in DafnyDriver.cs, before calling main,	Bryan Parno	2014-10-28
\| \| \| \|	just in case Boogie needs more room
*	Add support for counting spec/impl/proof lines by supressing, e.g., ghost ↵	Bryan Parno	2014-10-27
\| \| \| \|	statements
*	Minor change	wuestholz	2014-10-14
\|
*	added trait feature:	Reza Ahmadi	2014-07-18
\| \| \| \| \| \|	-possibility to declare traits in Dafny -possibility to extend a class by a trait -possibility to override body-less methods
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
\|
*	Added support for verifying Dafny program snapshots from the command-line.	wuestholz	2014-07-01
\|
*	Minor change due to change in Boogie	wuestholz	2014-06-28
\|
*	Use the new pretty-printing functionality in Boogie. Disable with "/pretty:0"	Dan Rosén	2014-06-24
\|
*	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	DafnyExtension: Made it display the compilation output in the VS output pane.	wuestholz	2014-04-21
\|
*	Supply C# compiler switch /nowarn:0219, which suppresses any warning CS0219 ↵	Rustan Leino	2014-01-13
\| \| \| \|	about variables not being used.
*	Added /compile:3, which compiles in memory and then executes the program (if ↵	Rustan Leino	2014-01-13
\| \| \| \|	there is a Main and there are no errors). Primarily intended for use with rise4fun.
*	Add support for the /verifySeparately flag in Boogie and change most tests ↵	wuestholz	2013-12-18
\| \| \| \|	to use it.
*	Fix build failures due to changes in Boogie.	wuestholz	2013-12-11
\|
*	Fix some things due to changes in Boogie (execution engine API, ↵	wuestholz	2013-12-09
\| \| \| \|	'UnivBackPred2.smt2' no longer needed).
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-11-23
\|
*	Fixed build failure due to changes in Boogie.	wuestholz	2013-10-28
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	Did some refactoring of the interaction with the Boogie execution engine.	wuestholz	2013-07-10
\|
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-24
\|
*	Fixed a contract.	wuestholz	2013-06-20
\|
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-19
\|
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-19
\|
*	Did some refactoring of the error reporting functionality.	wuestholz	2013-06-18
\|
*	DafnyExtension: Cleaned up some references and disabled non-functional ↵	wuestholz	2013-06-07
\| \| \| \|	support for VS 2010.
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-04
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-04
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
\|