From 7505f11202796652fea9cd5815046d1cdd644475 Mon Sep 17 00:00:00 2001
From: Unknown <afd@afd-THINK.home>
Date: Tue, 8 Nov 2011 07:40:26 +0000
Subject: Additions to GPU Verify for paper submission.

---
 Source/GPUVerify/GPUVerify.csproj | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Source/GPUVerify/GPUVerify.csproj')

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>
-- 
cgit v1.2.3