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