debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04
*	Improved hover text for collapsed code fragments	Rustan Leino	2012-11-25
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
*	Improved Dafny Extension display of destructors	Rustan Leino	2012-11-19
*	Merge	Unknown	2012-10-30
\|\
* \|	Include BVD in build (to copy it into the Dafny\Binaries directory)	Unknown	2012-10-30
\| *	Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD	Rustan Leino	2012-10-30
\|/
*	removed deprecated "allocated" keyword from DafnyExtension syntax highlighting	Rustan Leino	2012-10-22
*	Added Dafny.exe to the DafnyExtension. This way, a copy of the executable wil...	Rustan Leino	2012-10-22
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	allow a refinement to introduce "return" statements, at the price of re-verif...	Rustan Leino	2012-10-22
*	Pass Boogie's new SoundLoopUnrolling parameter	Rustan Leino	2012-10-18
*	Updated HintPath's of DLL's in the building of DafnyExtension	Rustan Leino	2012-10-17
*	New feature:	Rustan Leino	2012-10-11
*	Hover text for iterator declarations (and not for the methods they generate)	Rustan Leino	2012-10-04
*	More free antecedents when proving well-formedness of iterator specs	Rustan Leino	2012-10-04
*	Updates of various .sln and .*proj files	Rustan Leino	2012-10-04
*	Put all sources under \Source directory	Rustan Leino	2012-10-04