debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Put all sources under \Source directory	Rustan Leino	2012-10-04
*	DafnyExtension: new color (violet) for buffer snapshot sent to the verifier	Unknown	2012-09-07
*	DafnyExtension: don't reverify a buffer with no changes	Rustan Leino	2012-08-27
*	DafnyExtensions: better error handling	Rustan Leino	2012-08-21
*	Dafny and Boogie: get rid of 'static' fields in parser	Rustan Leino	2012-08-21
*	DafnyExtension: fixed bad merge	Rustan Leino	2012-08-17
*	Merge	Rustan Leino	2012-08-17
\|\
* \|	DafnyExtension: improved concurrency behavior	Unknown	2012-08-17
\| *	DafnyExtension: report out-of-time and out-of-memory errors	Rustan Leino	2012-08-17
\|/
*	DafnyExtension: toward some fixes	Unknown	2012-08-17
*	DafnyExtension: various improvements	Unknown	2012-08-16
*	DafnyExtension: do verification in a non-UI thread	Rustan Leino	2012-08-15
*	Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...	Unknown	2012-08-08
*	Dafny VS Extension: edited to make it build with new AST types, fixed some bu...	Unknown	2012-08-02