diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-02 18:18:07 -0800 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-02 18:18:07 -0800 |
| commit | 42297fe53a0e433a6d913be2ec5c067264a17f68 (patch) | |
| tree | 22da0dc2f699bedb86c31f98bea130cda9920d76 /Source/GPUVerify/GPUVerify.csproj | |
| parent | f2d02cf07f597ebda226a0e55d3d2e5faf9c85b9 (diff) | |
| parent | b07e5b62739645a6a3a4018b41c0e8690f0e10ff (diff) | |
Merge
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
| -rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index 204ffabe..99cbf0cd 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -104,7 +104,9 @@ </ItemGroup>
<ItemGroup>
<Compile Include="AccessCollector.cs" />
+ <Compile Include="AccessInvariantProcessor.cs" />
<Compile Include="AccessRecord.cs" />
+ <Compile Include="AsymmetricExpressionFinder.cs" />
<Compile Include="CrossThreadInvariantProcessor.cs" />
<Compile Include="EnabledToPredicateVisitor.cs" />
<Compile Include="CommandLineOptions.cs" />
|