debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Put all sources under \Source directory	Rustan Leino	2012-10-04
*	bunch of refactorings	Unknown	2012-10-03
*	Dafny: removed div/mod axioms, since Boogie now interprets div/mod	Unknown	2012-09-28
*	DafnyExtension: addressed a class initialization order problem	Rustan Leino	2012-09-09
*	DafnyExtension: report out-of-time and out-of-memory errors	Rustan Leino	2012-08-17
*	DafnyExtension: toward some fixes	Unknown	2012-08-17
*	DafnyExtension: hide execution-trace output, show split-expr related error l...	Rustan Leino	2012-08-10
*	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
*	Dafny VSX: fixed compilation inconsistency	Rustan Leino	2012-01-10
*	DafnyExtension: fix up compilation (once again)	Rustan Leino	2011-11-22
*	DafnyExtension: fixed build problems	Rustan Leino	2011-11-15
*	Dafny: Record source positions of start/end curly braces for declaration con...	rustanleino	2010-10-27