diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContractAnalysis.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContractAnalysis.targets
new file mode 100644
index 00000000..68f945c9
--- /dev/null
+++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContractAnalysis.targets
@@ -0,0 +1,260 @@
+
+
+
+
+
+
+ $(PrepareForRunDependsOn);CodeContractsRunCodeAnalysisOnTarget;CodeContractsPerformCodeAnalysis
+ $(IntermediateOutputPath)CodeContractAnalysisRun.log
+
+
+
+
+
+ $(CodeContractsInstallDir)Bin\cccheck.exe
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $([System.Environment]::GetEnvironmentVariable(`CodeContractsTargetMember`))
+ $([System.Environment]::GetEnvironmentVariable(`CodeContractsTargetType`))
+ $([System.Environment]::GetEnvironmentVariable(`CodeContractsTargetNamespace`))
+ $([System.Environment]::GetEnvironmentVariable(`CodeContractsTargetProjectGuid`))
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ low
+
+
+
+
+ low
+
+
+
+
+ mediumlow
+
+
+
+
+ medium
+
+
+
+
+ full
+
+
+
+
+ low
+
+
+
+
+
+
+
+
+
+ noObl
+
+
+
+
+
+
+
+
+
+
+
+ @(ContractDeclarativeAssembly->'%(RootDir)')@(ContractDeclarativeAssembly->'%(Directory)')
+ @(ContractDeclarativeAssembly->'%(FullPath)')
+ -platform "$(CodeContractsPlatformPath)"
+ $(CodeContractCodeAnalysisOptions) -cclib "$(CodeContractsClassLibrary)"
+ $(CodeContractCodeAnalysisOptions) -assemblyMode=standard
+ $(CodeContractCodeAnalysisOptions) -maxwarnings 1200
+ $(CodeContractCodeAnalysisOptions) -nonnull:noObl
+ $(CodeContractCodeAnalysisOptions) -nonnull
+ $(CodeContractCodeAnalysisOptions) -bounds:$(CodeContractsBounds) -arrays -wp=true -bounds:type=subpolyhedra,reduction=simplex,diseq=false
+ $(CodeContractCodeAnalysisOptions) -buffers:type=subpolyhedra,fastcheck=false
+ $(CodeContractCodeAnalysisOptions) -arrays -adaptive
+ $(CodeContractCodeAnalysisOptions) -arithmetic
+ $(CodeContractCodeAnalysisOptions) -enum
+ $(CodeContractCodeAnalysisOptions) -check assumptions
+ $(CodeContractCodeAnalysisOptions) -suggest asserttocontracts
+ $(CodeContractCodeAnalysisOptions) -check conditionsvalidity
+ $(CodeContractCodeAnalysisOptions) -missingPublicRequiresAreErrors
+ $(CodeContractCodeAnalysisOptions) -missingPublicEnsuresAreErrors
+ $(CodeContractCodeAnalysisOptions) -suggest calleeassumes
+ $(CodeContractCodeAnalysisOptions) -suggest assumes
+ $(CodeContractCodeAnalysisOptions) -suggest requires
+ $(CodeContractCodeAnalysisOptions) -suggest methodensures -suggest propertyensures
+ $(CodeContractCodeAnalysisOptions) -suggest necessaryensures
+ $(CodeContractCodeAnalysisOptions) -suggest objectinvariants
+ $(CodeContractCodeAnalysisOptions) -suggest readonlyfields
+ $(CodeContractCodeAnalysisOptions) -infer requires
+ $(CodeContractCodeAnalysisOptions) -infer methodensures
+ $(CodeContractCodeAnalysisOptions) -infer autopropertiesensures
+ $(CodeContractCodeAnalysisOptions) -infer objectinvariants
+ $(CodeContractCodeAnalysisOptions) -cache
+ $(CodeContractCodeAnalysisOptions) -forcecacheserver=true
+ $(CodeContractCodeAnalysisOptions) -failOnWarnings
+ $(CodeContractCodeAnalysisOptions) -cacheFileDirectory "$(CodeContractsCacheDirectory)"
+ $(CodeContractCodeAnalysisOptions) -cacheVersion "$(CodeContractsCacheVersion)"
+ $(CodeContractCodeAnalysisOptions) -cacheMaxSize "$(CodeContractsCacheMaxSize)"
+ $(CodeContractCodeAnalysisOptions) -memberNameSelect:$(CodeContractsTargetMember)
+ $(CodeContractCodeAnalysisOptions) -typeNameSelect:$(CodeContractsTargetType)
+ $(CodeContractCodeAnalysisOptions) -lowScoreForExternal=false
+ $(CodeContractCodeAnalysisOptions) -namespaceSelect:$(CodeContractsTargetNamespace)
+ $(CodeContractCodeAnalysisOptions) -baseline "$(CodeContractsBaseLineFile)"
+ $(CodeContractCodeAnalysisOptions) -cacheserver:$(CodeContractsSQLServerOption)
+ $(CodeContractCodeAnalysisOptions) $(CodeContractsExtraAnalysisOptions)
+ false
+ true
+ true
+ false
+
+
+
+ <_CodeContractsCCCheckArguments>-nobox -nologo -nopex -remote -suggest=!! -premode combined -suggest codefixes -framework:$(TargetFrameworkVersion) -warninglevel $(CodeContractsAnalysisWarning) $(CodeContractCodeAnalysisOptions) "-resolvedPaths:@(ReferencePath)" "-libPaths:@(CodeContractsAllLibPaths)" "$(DeclarativeAssemblyPath)"
+
+
+
+ <_CodeContractsCCCheckArgumentLines
+ Include="$(_CodeContractsCCCheckArguments)"
+ />
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets
new file mode 100644
index 00000000..c0fd54e9
--- /dev/null
+++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets
@@ -0,0 +1,666 @@
+
+
+
+ True
+
+
+
+
+
+ $(OutDir)CodeContractsDeclarative\
+ CodeContracts\
+ $(CodeContractsInstallDir)Bin\ccrefgen.exe
+
+
+
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\Silverlight\v5.0
+
+
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\Silverlight\v4.0\Profile\WindowsPhone
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\Silverlight\v4.0
+
+
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\Silverlight\v3.0
+
+
+
+
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.0
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.5
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.5
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.5
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.6
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.6
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\.NETFramework\v4.6
+
+
+
+
+ $(CodeContractsInstallDir)Contracts\v3.5
+
+
+
+
+
+
+
+
+
+ CodeContractsSlipInDefineSymbolDynamically;$(CompileDependsOn);CodeContractReferenceAssembly
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 4
+
+
+
+
+
+ 4
+
+
+
+
+ 3
+
+
+
+
+ 2
+
+
+
+
+
+ 1
+
+
+
+
+ 1
+
+
+
+
+ 0
+
+
+
+
+
+
+
+
+ $(CompileDependsOn); CodeContractInstrument
+
+
+
+
+ $(CompileDependsOn);ContractXmlDocumentation
+
+
+
+
+
+ $(CodeContractRewriteOptions) "/framework:$(TargetFrameworkVersion)"
+ $(CodeContractRewriteOptions) "/targetplatform:$(CodeContractsPlatformPath)"
+ $(CodeContractRewriteOptions) "/contractLibrary:$(CodeContractsClassLibrary)"
+ $(CodeContractRewriteOptions) "/assemblyMode=standard"
+ $(CodeContractRewriteOptions) /publicsurface
+ $(CodeContractRewriteOptions) /throwonfailure
+ $(CodeContractRewriteOptions) /callsiterequires
+ $(CodeContractRewriteOptions) /skipQuantifiers
+ $(CodeContractRewriteOptions) "/rewriterMethods:$(CodeContractsCustomRewriterAssembly),$(CodeContractsCustomRewriterClass)"
+ $(CodeContractRewriteOptions) $(CodeContractsExtraRewriteOptions)
+ /level:$(CodeContractsRuntimeLevel) /nologo /rewrite $(CodeContractRewriteOptions) "/resolvedPaths:@(ReferencePath,';')" "/libpaths:@(CodeContractsAllLibPaths) " "$(TargetName)$(TargetExt)"
+ $(CodeContractsInstallDir)Bin\ccrewrite.exe
+
+ $(IntermediateOutputPath)$(TargetName).rewritten
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ <_CodeContractsCCRewriteArguments>$(CodeContractRewriteOptions)
+
+
+
+ <_CodeContractsCCRewriteArgumentLines
+ Include="$(_CodeContractsCCRewriteArguments)"
+ />
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $(TargetFrameworkSDKToolsDirectory)sn.exe
+ $(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.6 Tools\sn.exe
+
+
+
+
+
+
+
+
+
+
+ <_CodeContractOutputDirectory Include="$(OutDir)$(CodeContractsContractSubDir)"/>
+ <_ContractDummyReferenceAssembly Include="$(OutDir)$(CodeContractsContractSubDir)$(TargetName).noReferenceAssembly"/>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ <_CodeContractsCCRefGenArguments>"/resolvedPaths:@(ReferencePath,';')" "/libPaths:@(CodeContractsAllLibPaths) " /pdb "/out:@(ContractReferenceAssembly)" "@(ContractDeclarativeAssembly)"
+
+
+
+ <_CodeContractsCCRefGenArgumentLines
+ Include="$(_CodeContractsCCRefGenArguments)"
+ />
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ <_CodeContractsBuildReferences
+ Include="@(ReferencePath->'%(RootDir)%(Directory)')"/>
+ <_CodeContractsBuildReferences
+ Include="@(ReferencePath->'%(RootDir)%(Directory)CodeContracts')"/>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $(CodeContractsInstallDir)Bin\ccdocgen.exe
+
+
+
+
+
+ <_CodeContractsCCDocGenArguments>-assembly "@(ContractReferenceAssembly)" -xmlFile "@(DocFileItem)" "-resolvedPaths:@(ReferencePath)" -libpaths "@(CodeContractsAllLibPaths) "
+
+
+
+ <_CodeContractsCCDocGenArgumentLines
+ Include="$(_CodeContractsCCDocGenArguments)"
+ />
+
+
+
+
+
+
+
+
+
+ $(CodeContractsInstallDir)MsBuild\v14.0\Microsoft.CodeContractAnalysis.targets
+
+
+
+
+
diff --git a/Microsoft.Research/ManagedContract.Setup/ManagedContracts.wxs b/Microsoft.Research/ManagedContract.Setup/ManagedContracts.wxs
index 455ba568..217ea76c 100644
--- a/Microsoft.Research/ManagedContract.Setup/ManagedContracts.wxs
+++ b/Microsoft.Research/ManagedContract.Setup/ManagedContracts.wxs
@@ -84,6 +84,7 @@
+