Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.

1 files changed, 2 insertions, 5 deletions

diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj
index 0c0c1a6c..a659c3f2 100644
--- a/Source/Provers/Z3api/Z3api.csproj
+++ b/Source/Provers/Z3api/Z3api.csproj
@@ -10,7 +10,7 @@
     <AppDesignerFolder>Properties</AppDesignerFolder>

     <RootNamespace>Microsoft.Boogie.Z3api</RootNamespace>

     <AssemblyName>Provers.Z3api</AssemblyName>

-    <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>

+    <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>

     <FileAlignment>512</FileAlignment>

     <StartupObject>

     </StartupObject>

@@ -33,6 +33,7 @@
     <IsWebBootstrapper>false</IsWebBootstrapper>

     <UseApplicationTrust>false</UseApplicationTrust>

     <BootstrapperEnabled>true</BootstrapperEnabled>

+    <TargetFrameworkProfile />

   </PropertyGroup>

   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">

     <DebugSymbols>true</DebugSymbols>

@@ -76,10 +77,6 @@
   </Target>

   -->

   <ItemGroup>

-    <Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\Microsoft.Contracts.dll</HintPath>

-    </Reference>

     <Reference Include="Microsoft.Z3, Version=2.0.40827.2, Culture=neutral, PublicKeyToken=9c8d792caae602a2, processorArchitecture=x86">

       <SpecificVersion>False</SpecificVersion>

       <HintPath>..\..\..\Binaries\Microsoft.Z3.dll</HintPath>