Merge pull request #345 from SergeyTeplyakov/st/v110Release

Changes required for v.1.10 release

Author: SergeyTeplyakov

Microsoft.Research/ManagedContract.Setup/Microsoft.Contracts.nuspec renamed to Microsoft.Research/ManagedContract.Setup/DotNet.Contracts.nuspec

@@ -1,14 +1,15 @@
 <?xml version="1.0" encoding="utf-8"?>
 <package>
   <metadata>
-    <id>Microsoft.Contracts</id>
+    <id>DotNet.Contracts</id>
     <version>0.0.0.0</version>
     <authors>logozzo,mbarnett,maf,dannyvv,seteplia,sharwell</authors>
     <owners>logozzo,mbarnett,maf,dannyvv,seteplia</owners>
-    <projectUrl>http://codebox/contracts</projectUrl>
+    <projectUrl>https://github.com/Microsoft/CodeContracts</projectUrl>
     <requireLicenseAcceptance>false</requireLicenseAcceptance>
     <description>This project brings the advantages of design-by-contract programming to all .NET programming languages. Programming with contracts means writing extra pre-conditions, post-conditions, and object invariants in your code.</description>
     <releaseNotes>https://github.com/Microsoft/CodeContracts/releases/v$version$</releaseNotes>
+    <licenseUrl>https://github.com/Microsoft/CodeContracts/blob/master/LICENSE.txt</licenseUrl>
   </metadata>
   <files>
      <file src="**\*" />

Microsoft.Research/ManagedContract.Setup/Microsoft.Contracts.ds

@@ -37,7 +37,7 @@ echo     Building NuGet Package
 echo ************************************
 set packageRootFolder=%expandedFolder%\layout\[ProgramFilesFolder]\Microsoft\Contracts
 copy %contractFolder%\Microsoft.Contracts.ds %packageRootFolder%\Microsoft.Contracts.ds /Y
-NugetBinaries\NuGet.exe pack -Verbosity detailed -NoPackageAnalysis -NoDefaultExcludes Microsoft.Contracts.nuspec -OutputDirectory %contractFolder%\%releaseConfig% -Version %version% -BasePath "%packageRootFolder%"
+NugetBinaries\NuGet.exe pack -Verbosity detailed -NoPackageAnalysis -NoDefaultExcludes DotNet.Contracts.nuspec -OutputDirectory %contractFolder%\%releaseConfig% -Version %version% -BasePath "%packageRootFolder%"
 
 
 

Microsoft.Research/ManagedContract.Setup/buildNuGet.bat

@@ -2,11 +2,11 @@ version: 1.9.10000.{build}
 os: Visual Studio 2015
 init:
 - ps: git config --global core.autocrlf true
-- ps: Update-AppveyorBuild -Version "1.9.1$(Get-Date -format MMdd).$env:appveyor_build_number"
+- ps: Update-AppveyorBuild -Version "1.10.1$(Get-Date -format MMdd).$env:appveyor_build_number"
 install:
 - set PATH=C:\Program Files (x86)\MSBuild\12.0\Bin;%PATH%
 build_script:
-- ps: ./buildCC "1.9.1$(Get-Date -format MMdd).$env:appveyor_build_number"
+- ps: ./buildCC "1.10.1$(Get-Date -format MMdd).$env:appveyor_build_number"
 - ps: msbuild "/nologo" "/logger:${env:ProgramFiles}\AppVeyor\BuildAgent\Appveyor.MSBuildLogger.dll" "/t:build" "/p:Configuration=Debug" "/p:Platform=Any CPU" "/p:CodeContractsRunCodeAnalysis=false" CodeContracts.sln
 test:
   assemblies: