Boogie Provers: Changed the references from binary to project references.

4 files changed, 94 insertions, 92 deletions

diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj
index 91eefa16..9347d72f 100644
--- a/Source/Provers/Isabelle/Isabelle.csproj
+++ b/Source/Provers/Isabelle/Isabelle.csproj
@@ -63,36 +63,38 @@
     <WarningLevel>4</WarningLevel>

   </PropertyGroup>

   <ItemGroup>

-    <Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\AIFramework\bin\debug\AIFramework.dll</HintPath>

-    </Reference>

-    <Reference Include="Basetypes, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Basetypes\bin\debug\Basetypes.dll</HintPath>

-    </Reference>

-    <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Core\bin\Debug\Core.dll</HintPath>

-    </Reference>

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

     <Reference Include="System" />

     <Reference Include="System.Data" />

     <Reference Include="System.Xml" />

-    <Reference Include="VCExpr, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\VCExpr\bin\debug\VCExpr.dll</HintPath>

-    </Reference>

-    <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\VCGeneration\bin\debug\VCGeneration.dll</HintPath>

-    </Reference>

   </ItemGroup>

   <ItemGroup>

     <Compile Include="Prover.cs" />

     <Compile Include="version.cs" />

   </ItemGroup>

   <ItemGroup>

+    <ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">

+      <Project>{24B55172-AD8B-47D1-8952-5A95CFDB9B31}</Project>

+      <Name>AIFramework</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">

+      <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>

+      <Name>Basetypes</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Core\Core.sscproj">

+      <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>

+      <Name>Core</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">

+      <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>

+      <Name>VCExpr</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">

+      <Project>{E1F10180-C7B9-4147-B51F-FA1B701966DC}</Project>

+      <Name>VCGeneration</Name>

+    </ProjectReference>

+  </ItemGroup>

+  <ItemGroup>

     <Folder Include="Properties\" />

   </ItemGroup>

   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />

diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj
index 235a99ca..21941194 100644
--- a/Source/Provers/SMTLib/SMTLib.csproj
+++ b/Source/Provers/SMTLib/SMTLib.csproj
@@ -61,18 +61,6 @@
     <WarningLevel>4</WarningLevel>

   </PropertyGroup>

   <ItemGroup>

-    <Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\AIFramework\bin\debug\AIFramework.dll</HintPath>

-    </Reference>

-    <Reference Include="Basetypes, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Basetypes\bin\debug\Basetypes.dll</HintPath>

-    </Reference>

-    <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Core\bin\Debug\Core.dll</HintPath>

-    </Reference>

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

       <SpecificVersion>False</SpecificVersion>

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

@@ -87,14 +75,6 @@
     </Reference>

     <Reference Include="System.Data" />

     <Reference Include="System.Xml" />

-    <Reference Include="VCExpr, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\VCExpr\bin\debug\VCExpr.dll</HintPath>

-    </Reference>

-    <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\VCGeneration\bin\debug\VCGeneration.dll</HintPath>

-    </Reference>

   </ItemGroup>

   <ItemGroup>

     <Compile Include="cce.cs" />

@@ -103,6 +83,26 @@
     <Compile Include="TypeDeclCollector.cs" />

   </ItemGroup>

   <ItemGroup>

+    <ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">

+      <Project>{24B55172-AD8B-47D1-8952-5A95CFDB9B31}</Project>

+      <Name>AIFramework</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">

+      <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>

+      <Name>Basetypes</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Core\Core.sscproj">

+      <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>

+      <Name>Core</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">

+      <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>

+      <Name>VCExpr</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">

+      <Project>{E1F10180-C7B9-4147-B51F-FA1B701966DC}</Project>

+      <Name>VCGeneration</Name>

+    </ProjectReference>

     <ProjectReference Include="..\Simplify\Simplify.csproj">

       <Project>{FEE9F01B-9722-4A76-A24B-72A4016DFA8E}</Project>

       <Name>Simplify</Name>

diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj
index f47fa50f..86d8eb31 100644
--- a/Source/Provers/Simplify/Simplify.csproj
+++ b/Source/Provers/Simplify/Simplify.csproj
@@ -60,22 +60,6 @@
     <WarningLevel>4</WarningLevel>

   </PropertyGroup>

   <ItemGroup>

-    <Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\AIFramework.dll</HintPath>

-    </Reference>

-    <Reference Include="Basetypes, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\Basetypes.dll</HintPath>

-    </Reference>

-    <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\Core.dll</HintPath>

-    </Reference>

-    <Reference Include="Graph, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\Graph.dll</HintPath>

-    </Reference>

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

     <Reference Include="System" />

     <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

@@ -84,14 +68,6 @@
     </Reference>

     <Reference Include="System.Data" />

     <Reference Include="System.Xml" />

-    <Reference Include="VCExpr, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\VCExpr.dll</HintPath>

-    </Reference>

-    <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\..\Binaries\VCGeneration.dll</HintPath>

-    </Reference>

   </ItemGroup>

   <ItemGroup>

     <Compile Include="cce.cs" />

@@ -100,6 +76,32 @@
     <Compile Include="ProverInterface.cs" />

   </ItemGroup>

   <ItemGroup>

+    <ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">

+      <Project>{24B55172-AD8B-47D1-8952-5A95CFDB9B31}</Project>

+      <Name>AIFramework</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">

+      <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>

+      <Name>Basetypes</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Core\Core.sscproj">

+      <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>

+      <Name>Core</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Graph\Graph.sscproj">

+      <Project>{4C28FB90-630E-4B55-A937-11A011B79765}</Project>

+      <Name>Graph</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">

+      <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>

+      <Name>VCExpr</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">

+      <Project>{E1F10180-C7B9-4147-B51F-FA1B701966DC}</Project>

+      <Name>VCGeneration</Name>

+    </ProjectReference>

+  </ItemGroup>

+  <ItemGroup>

     <Folder Include="Properties\" />

   </ItemGroup>

   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />

diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj
index 4c1e48fc..7e2b546a 100644
--- a/Source/Provers/Z3/Z3.csproj
+++ b/Source/Provers/Z3/Z3.csproj
@@ -61,27 +61,7 @@
     <WarningLevel>4</WarningLevel>

   </PropertyGroup>

   <ItemGroup>

-    <Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\AIFramework\bin\debug\AIFramework.dll</HintPath>

-    </Reference>

-    <Reference Include="Basetypes, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Basetypes\bin\debug\Basetypes.dll</HintPath>

-    </Reference>

-    <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Core\bin\Debug\Core.dll</HintPath>

-    </Reference>

-    <Reference Include="Graph, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\Graph\bin\debug\Graph.dll</HintPath>

-    </Reference>

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

-    <Reference Include="Provers.Simplify, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\Simplify\bin\debug\Provers.Simplify.dll</HintPath>

-    </Reference>

     <Reference Include="System" />

     <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

       <SpecificVersion>False</SpecificVersion>

@@ -92,14 +72,6 @@
     </Reference>

     <Reference Include="System.Data" />

     <Reference Include="System.Xml" />

-    <Reference Include="VCExpr, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\VCExpr\bin\debug\VCExpr.dll</HintPath>

-    </Reference>

-    <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

-      <SpecificVersion>False</SpecificVersion>

-      <HintPath>..\..\VCGeneration\bin\debug\VCGeneration.dll</HintPath>

-    </Reference>

   </ItemGroup>

   <ItemGroup>

     <Compile Include="cce.cs" />

@@ -109,6 +81,32 @@
     <Compile Include="TypeDeclCollector.cs" />

   </ItemGroup>

   <ItemGroup>

+    <ProjectReference Include="..\..\AIFramework\AIFramework.sscproj">

+      <Project>{24B55172-AD8B-47D1-8952-5A95CFDB9B31}</Project>

+      <Name>AIFramework</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">

+      <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>

+      <Name>Basetypes</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\Core\Core.sscproj">

+      <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>

+      <Name>Core</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">

+      <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>

+      <Name>VCExpr</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">

+      <Project>{E1F10180-C7B9-4147-B51F-FA1B701966DC}</Project>

+      <Name>VCGeneration</Name>

+    </ProjectReference>

+    <ProjectReference Include="..\Simplify\Simplify.csproj">

+      <Project>{FEE9F01B-9722-4A76-A24B-72A4016DFA8E}</Project>

+      <Name>Simplify</Name>

+    </ProjectReference>

+  </ItemGroup>

+  <ItemGroup>

     <Folder Include="Properties\" />

   </ItemGroup>

   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />