diff options
| author |  schaef <unknown> | 2011-03-15 02:58:31 +0000 |
|---|---|---|
| committer | schaef <unknown> | 2011-03-15 02:58:31 +0000 |
| commit | 3b95e484b2e097534bf150edc87bc1b19b5892bf (patch) | |
| tree | f1ae58dc91efec7599a44d06908d85e83c9be2e4 /Source/VCGeneration/VCGeneration.csproj | |
| parent | b7829c73906c7ddbc01e7e076aa430f349ae9698 (diff) | |
new algorithm for dead code detection (vc:doomed)
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
| -rw-r--r-- | Source/VCGeneration/VCGeneration.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index 1d4cc566..ff10acbe 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -148,7 +148,10 @@ <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="HasseDiagram.cs" />
<Compile Include="OrderingAxioms.cs" />
<Compile Include="StratifiedVC.cs" />
<Compile Include="VC.cs" />
|