diff options
author | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-18 20:10:08 +0100 |
---|---|---|
committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-06-18 20:10:08 +0100 |
commit | 7d20a47bf564a67cc21ddfdb52c32951f7b9f087 (patch) | |
tree | 6a1d6591fd0c799f573e65874db24c008f9a9a8f /Source/VCGeneration/VCGeneration.csproj | |
parent | db9bf8c12cc40ee7bd0f72060cd22e5782998fe8 (diff) |
Move block predicator to VCGeneration
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
-rw-r--r-- | Source/VCGeneration/VCGeneration.csproj | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index 5b2541a9..39da0be6 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -144,6 +144,7 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="BlockPredicator.cs" />
<Compile Include="Check.cs" />
<Compile Include="ConditionGeneration.cs" />
<Compile Include="Context.cs" />
@@ -151,6 +152,7 @@ <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="StratifiedVC.cs" />
|