Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln

2 files changed, 6 insertions, 14 deletions

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>