From 8d7686cd88736d117e37eb9bf9dd17404a294ff4 Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Wed, 3 Oct 2012 12:32:19 -0700
Subject: bunch of refactorings - moved doomed and predication code into
 separate projects;   for doomed there is a static dependency from
 BoogieDriver   but for predication even that dependency has been eliminated -
 deleted Provers\Simplify and Provers\Z3 - removed Provers\Z3api from the
 solution - consolidated Core\GraphAlgorithms.cs
 VCGeneration\GraphAlgorithms.cs into Graph\Graph.cs

---
 Source/VCGeneration/VCGeneration.csproj | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'Source/VCGeneration/VCGeneration.csproj')

diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index 98958c66..0c98a891 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -144,22 +144,12 @@
     <Reference Include="System.Xml" />
   </ItemGroup>
   <ItemGroup>
-    <Compile Include="BlockPredicator.cs" />
     <Compile Include="Check.cs" />
     <Compile Include="ConditionGeneration.cs" />
     <Compile Include="Context.cs" />
-    <Compile Include="DoomCheck.cs" />
-    <Compile Include="DoomedLoopUnrolling.cs" />
-    <Compile Include="DoomedStrategy.cs" />
-    <Compile Include="DoomErrorHandler.cs" />
-    <Compile Include="GraphAlgorithms.cs" />
-    <Compile Include="HasseDiagram.cs" />
     <Compile Include="OrderingAxioms.cs" />
-    <Compile Include="SmartBlockPredicator.cs" />
     <Compile Include="StratifiedVC.cs" />
-    <Compile Include="UniformityAnalyser.cs" />
     <Compile Include="VC.cs" />
-    <Compile Include="VCDoomed.cs" />
     <Compile Include="..\version.cs" />
     <Compile Include="Wlp.cs" />
   </ItemGroup>
-- 
cgit v1.2.3