11.0 11.0 $(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion) 4.0 publish\ true Disk false Foreground 7 Days false false true 0 1.0.0.%2a false false true Program $(DevEnvDir)\devenv.exe /rootsuffix Exp Debug AnyCPU 2.0 {6E9A5E14-0763-471C-A129-80A879D9E7BA} {82b43b9b-a64c-4715-b499-d71e9ca2bd60};{60dc8134-eba5-43b8-bcc9-bb4bc16c2548};{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC} Library Properties DafnyLanguage DafnyLanguageService false v4.5 true full false ..\..\Binaries\ DEBUG;TRACE prompt 4 AllRules.ruleset false AnyCPU True True false false false pdbonly true ..\..\Binaries\ TRACE prompt 4 true false ..\..\Binaries\AbsInt.dll ..\..\Binaries\Basetypes.dll ..\..\Binaries\CodeContractsExtender.dll ..\..\Binaries\Concurrency.dll ..\..\Binaries\Core.dll ..\..\Binaries\Dafny.exe ..\..\Binaries\DafnyPipeline.dll ..\..\..\boogie\Binaries\Doomed.dll ..\..\..\boogie\Binaries\ExecutionEngine.dll ..\..\..\boogie\Binaries\Graph.dll ..\..\..\boogie\Binaries\Houdini.dll ..\..\..\boogie\Binaries\Model.dll ..\..\..\boogie\Binaries\ParserHelper.dll ..\..\..\boogie\Binaries\Provers.SMTLib.dll ..\..\..\boogie\Binaries\VCExpr.dll ..\..\..\boogie\Binaries\VCGeneration.dll {80CC9F66-E7D8-4DDD-85B6-D9E6CD0E93E2} 8 0 0 primary False False true true true true true Designer {ca0848d3-3e4f-410e-8ac6-d6125a2b8e30} DafnyMenu BuiltProjectOutputGroup%3bBuiltProjectOutputGroupDependencies%3bGetCopyToOutputDirectoryItems%3bSatelliteDllsProjectOutputGroup%3bPkgdefProjectOutputGroup%3b DebugSymbolsProjectOutputGroup%3b False Microsoft .NET Framework 4.5 %28x86 and x64%29 true False .NET Framework 3.5 SP1 Client Profile false False .NET Framework 3.5 SP1 false true copy /y "..\Binaries\DafnyPrelude.bpl" "$(ProjectDir)" copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)" copy /y "..\Binaries\Z3-LICENSE.txt" "$(ProjectDir)" copy /y "..\Binaries\z3.exe" "$(ProjectDir)"