diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-03-26 16:38:00 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-03-26 16:38:00 +0100 |
| commit | d0526786c772fdc6d238842158b5aa0ab38aaf2f (patch) | |
| tree | 0166f0d8f3593388ef14765f8924aeb270e6661c /Source/GPUVerify/GPUVerify.csproj | |
| parent | b14e3107703775669203f2cdaa481525e6c8a022 (diff) | |
Started adding another invariant generation analysis.
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
| -rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index d6958414..1109ebb7 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -113,6 +113,7 @@ <Compile Include="LoopInvariantGenerator.cs" />
<Compile Include="MayBePowerOfTwoAnalyser.cs" />
<Compile Include="MayBeTidAnalyser.cs" />
+ <Compile Include="MayBeTidPlusConstantAnalyser.cs" />
<Compile Include="StructuredProgramVisitor.cs" />
<Compile Include="CrossThreadInvariantProcessor.cs" />
<Compile Include="EnabledToPredicateVisitor.cs" />
|