From 5db34109bbb72d290239dfdb571d321fe3f1c48c Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Wed, 1 Dec 2010 05:43:17 +0000
Subject: Eliminated dependencies on SpecSharp and CCI from Boogie.sln and
 Dafny.sln

---
 Source/VCGeneration/StratifiedVC.cs     | 12 ++++++------
 Source/VCGeneration/VCGeneration.csproj |  8 --------
 2 files changed, 6 insertions(+), 14 deletions(-)

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 7002ad61..d465a483 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -362,9 +362,9 @@ namespace VC
                 coverageProcess.StandardInput.WriteLine("batch-graph-command-begin");
                 coverageProcess.StandardInput.WriteLine("reset-color");
                 // Go through the curr candidates and draw edges
-                var nodes = new Microsoft.SpecSharp.Collections.Set<int>();
-                var greenNodes = new Microsoft.SpecSharp.Collections.Set<int>();
-                var redNodes = new Microsoft.SpecSharp.Collections.Set<int>();
+                var nodes = new HashSet<int>();
+                var greenNodes = new HashSet<int>();
+                var redNodes = new HashSet<int>();
                 var edges = new List<KeyValuePair<int, int>>();
                 foreach (var id in calls.currCandidates)
                 {
@@ -1365,7 +1365,7 @@ namespace VC
             // User info -- to decrease/increase calculcation of recursion bound
             public Dictionary<int, int> recursionIncrement;
 
-            public Microsoft.SpecSharp.Collections.Set<int> currCandidates;
+            public HashSet<int> currCandidates;
             [ContractInvariantMethod]
             void ObjectInvariant()
             {
@@ -1398,7 +1398,7 @@ namespace VC
                 id2ControlVar = new Dictionary<int, VCExprVar>();
                 boogieExpr2Id = new Dictionary<BoogieCallExpr, int>();
                 label2Id = new Dictionary<string, int>();
-                currCandidates = new Microsoft.SpecSharp.Collections.Set<int>();
+                currCandidates = new HashSet<int>();
                 currInlineCount = 0;
                 currProc = null;
                 labelRenamer = new Dictionary<string, int>();
@@ -1410,7 +1410,7 @@ namespace VC
 
             public void Clear()
             {
-                currCandidates = new Microsoft.SpecSharp.Collections.Set<int>();
+                currCandidates = new HashSet<int>();
             }
 
             // Given a candidate "id", let proc(id) be the
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index b2d514f6..9906070a 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -99,15 +99,7 @@
     <CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
   </PropertyGroup>
   <ItemGroup>
-    <Reference Include="Microsoft.SpecSharp.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\Microsoft.SpecSharp.Runtime.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>
-      <HintPath>..\..\Binaries\System.Compiler.Runtime.dll</HintPath>
-    </Reference>
     <Reference Include="System.Data" />
     <Reference Include="System.Xml" />
   </ItemGroup>
-- 
cgit v1.2.3