diff options
author | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-04-05 10:20:57 +0100 |
---|---|---|
committer | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-04-05 10:20:57 +0100 |
commit | 7860cf038c2a5d6d535f6be3ff461ae8e62db51c (patch) | |
tree | 6938d9a3f50bf1c39551f9d602e24a1080292b6a /Source/GPUVerify/GPUVerify.csproj | |
parent | 562ea75667e8eabf6703eb62b8716a920b2c02c6 (diff) |
Started generalising thread id inference
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
-rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index 91800a70..9f5a4f07 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -113,7 +113,7 @@ <Compile Include="LiveVariableAnalyser.cs" />
<Compile Include="LoopInvariantGenerator.cs" />
<Compile Include="MayBePowerOfTwoAnalyser.cs" />
- <Compile Include="MayBeTidAnalyser.cs" />
+ <Compile Include="MayBeThreadConfigurationVariableAnalyser.cs" />
<Compile Include="MayBeTidPlusConstantAnalyser.cs" />
<Compile Include="StructuredProgramVisitor.cs" />
<Compile Include="CrossThreadInvariantProcessor.cs" />
|