diff options
| author |  Unknown <afd@afd-THINK.home> | 2011-11-08 07:40:26 +0000 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2011-11-08 07:40:26 +0000 |
| commit | 7505f11202796652fea9cd5815046d1cdd644475 (patch) | |
| tree | 998ad0f0ce594f309b51dd95e90038485b498662 /Source/GPUVerify/GPUVerify.csproj | |
| parent | 321ceeee73433b2a772cd3435cb2ffaa346fb113 (diff) | |
Additions to GPU Verify for paper submission.
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
| -rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index 0e07f573..fcf68350 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -75,12 +75,18 @@ <Compile Include="AccessCollector.cs" />
<Compile Include="AccessRecord.cs" />
<Compile Include="CommandLineOptions.cs" />
+ <Compile Include="ElementEncodingraceInstrumenter.cs" />
<Compile Include="GPUVerifier.cs" />
+ <Compile Include="IRaceInstrumenter.cs" />
<Compile Include="Main.cs" />
+ <Compile Include="NoConflictingAccessOptimiser.cs" />
<Compile Include="NonLocalAccessCollector.cs" />
<Compile Include="NonLocalAccessExtractor.cs" />
+ <Compile Include="NullRaceInstrumenter.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
+ <Compile Include="RaceInstrumenterBase.cs" />
<Compile Include="ReadCollector.cs" />
+ <Compile Include="SetEncodingRaceInstrumenter.cs" />
<Compile Include="VariableDualiser.cs" />
<Compile Include="WriteCollector.cs" />
</ItemGroup>
|