File list (Check if you may need any files):
Dafny\AbsInt.dll
.....\AbsInt.pdb
.....\Basetypes.dll
.....\Basetypes.pdb
.....\CodeContracts
.....\.............\Dafny.Contracts.dll
.....\.............\Dafny.Contracts.pdb
.....\CodeContractsExtender.dll
.....\CodeContractsExtender.pdb
.....\Core.dll
.....\Core.pdb
.....\Dafny.exe
.....\Dafny.pdb
.....\DafnyLanguageService.vsix
.....\DafnyPipeline.dll
.....\DafnyPipeline.pdb
.....\DafnyPrelude.bpl
.....\DafnyRuntime.cs
.....\Doomed.dll
.....\Doomed.pdb
.....\ExecutionEngine.dll
.....\ExecutionEngine.pdb
.....\Graph.dll
.....\Graph.pdb
.....\Houdini.dll
.....\Model.dll
.....\Model.pdb
.....\ParserHelper.dll
.....\ParserHelper.pdb
.....\Provers.SMTLib.dll
.....\Provers.SMTLib.pdb
.....\UnivBackPred2.smt2
.....\Util
.....\....\emacs
.....\....\.....\dafny-mode.el
.....\....\latex
.....\....\.....\dafny.sty
.....\....\vim
.....\....\...\dafny.vim
.....\VCExpr.dll
.....\VCExpr.pdb
.....\VCGeneration.dll
.....\VCGeneration.pdb
Download