diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-05-25 14:28:17 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-05-25 14:28:17 +0100 |
| commit | cc794d78c2d42d884ab747aaa91c7548b1f72259 (patch) | |
| tree | b2104d1fdd35ee06a04a36298657c0d32de0fdbe /Source/GPUVerify/GPUVerify.csproj | |
| parent | a98b8fbcfcd930e296221ea402423490573277f9 (diff) | |
GPUVerify: add block predicator
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
| -rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index b375efd9..7e8ecd7a 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -108,6 +108,8 @@ <Compile Include="AccessRecord.cs" />
<Compile Include="ArrayControlFlowAnalyser.cs" />
<Compile Include="AsymmetricExpressionFinder.cs" />
+ <Compile Include="BlockPredicator.cs" />
+ <Compile Include="GraphAlgorithms.cs" />
<Compile Include="InvariantGenerationRules\LoopVariableBoundsInvariantGenerator.cs" />
<Compile Include="InvariantGenerationRules\InvariantGenerationRule.cs" />
<Compile Include="InvariantGenerationRules\PowerOfTwoInvariantGenerator.cs" />
@@ -171,4 +173,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
|