diff options
author | Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-30 09:34:33 -0700 |
---|---|---|
committer | Unknown <t-alasdo@MSR-RISE-GUEST.redmond.corp.microsoft.com> | 2011-09-30 09:34:33 -0700 |
commit | 852cc63cbe979fd3151199e75367da2d4c70076c (patch) | |
tree | 27956ce953c60424ae81f3dc505aa19340bf8f96 /Source/GPUVerify/GPUVerify.csproj | |
parent | 6c8499199620f978003f186efd872e71177628f8 (diff) |
Refactoring and reorganisation of GPUVerify
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
-rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index dd2f9c27..0e07f573 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -76,9 +76,6 @@ <Compile Include="AccessRecord.cs" />
<Compile Include="CommandLineOptions.cs" />
<Compile Include="GPUVerifier.cs" />
- <Compile Include="GPUVerifierAsynchronous.cs" />
- <Compile Include="GPUVerifierLockStep.cs" />
- <Compile Include="LocalVariableAccessReplacer.cs" />
<Compile Include="Main.cs" />
<Compile Include="NonLocalAccessCollector.cs" />
<Compile Include="NonLocalAccessExtractor.cs" />
|