debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Put all sources under \Source directory	Rustan Leino	2012-10-04
\|
*	Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and ↵	Unknown	2012-08-08
\| \| \| \|	visually indicates a non-verified buffer
*	Dafny: fully qualify (with module names) names of types in the translation ↵	Rustan Leino	2012-01-05
\| \| \| \| \| \| \|	into Boogie Dafny: started cloning of refined classes Dafny: added /rprint switch to print the (syntax of the) resolved Dafny program
*	Dafny: make /help also print the Boogie command-line options	Rustan Leino	2012-01-04
\|
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ↵	Rustan Leino	2011-11-22
\| \| \| \|	.cs file with the new /spillTargetCode switch
*	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
\|
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored ↵	Rustan Leino	2011-11-15
	CommandLineOptions to separate the options that belong to these 3 tools.