debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...	Bryan Parno	2014-10-27
*	Minor change	wuestholz	2014-10-14
*	added trait feature:	Reza Ahmadi	2014-07-18
*	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 a...	Rustan Leino	2014-01-13
*	Added /compile:3, which compiles in memory and then executes the program (if ...	Rustan Leino	2014-01-13
*	Add support for the /verifySeparately flag in Boogie and change most tests to...	wuestholz	2013-12-18
*	Fix build failures due to changes in Boogie.	wuestholz	2013-12-11
*	Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...	wuestholz	2013-12-09
*	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 Dafny...	wuestholz	2013-07-26
*	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 suppor...	wuestholz	2013-06-07
*	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
*	Did some refactoring of the Dafny drivers.	wuestholz	2013-06-03
*	Changed the Dafny driver to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...	wuestholz	2013-05-23
*	Minor change to a project file	wuestholz	2013-05-21
*	Minor change to a project file	wuestholz	2013-05-21
*	Minor change to a project file	wuestholz	2013-05-21
*	Minor change to a project file	wuestholz	2013-05-21