diff options
| author |  Unknown <afd@afd-THINK> | 2012-03-26 09:24:36 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-03-26 09:24:36 +0100 |
| commit | 20a9af2493a09863d503fe1b92c1190e40f2d3e7 (patch) | |
| tree | fc5031d53dc62919e5b3da6e08ca09662f49d7c0 /Source/GPUVerify/GPUVerify.csproj | |
| parent | fef4a9da7b5ec7b0e76f8d900331497c29d1ba72 (diff) | |
Started on live variable analysis in GPUVerify
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 f6353895..d6958414 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -109,6 +109,7 @@ <Compile Include="AsymmetricExpressionFinder.cs" />
<Compile Include="EnsureDisabledThreadHasNoEffectInstrumenter.cs" />
<Compile Include="KernelDualiser.cs" />
+ <Compile Include="LiveVariableAnalyser.cs" />
<Compile Include="LoopInvariantGenerator.cs" />
<Compile Include="MayBePowerOfTwoAnalyser.cs" />
<Compile Include="MayBeTidAnalyser.cs" />
|