diff options
author | Unknown <afd@afd-THINK.home> | 2012-07-17 15:46:41 +0100 |
---|---|---|
committer | Unknown <afd@afd-THINK.home> | 2012-07-17 15:46:41 +0100 |
commit | 7923ffeab6f660d4687815ead12d2c54b0ad26f1 (patch) | |
tree | 89a61f09c20ee7f1237ddef4722057d5c4f54432 /Source/GPUVerify/GPUVerify.csproj | |
parent | 326e42ddf27bec7b8eff9909143a012a250a787d (diff) |
GPUVerify only generates _READ/WRITE_OFFSET variabls if they do not already exist. Did some tidying up of old source code - removed functions related to Y and Z offsets which we do not use any more.
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
-rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index 9b3b08cb..d060ad8a 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -104,7 +104,6 @@ </ItemGroup>
<ItemGroup>
<Compile Include="AccessCollector.cs" />
- <Compile Include="AccessInvariantProcessor.cs" />
<Compile Include="AccessRecord.cs" />
<Compile Include="ArrayControlFlowAnalyser.cs" />
<Compile Include="AsymmetricExpressionFinder.cs" />
|