debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	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
\| \| \| \|	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
\|
*	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., ↵	wuestholz	2013-05-23
\| \| \| \|	compilation).
*	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
\|