diff options
| author |  Unknown <afd@afd-THINK> | 2012-08-31 09:42:40 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-08-31 09:42:40 +0100 |
| commit | c3724e5d87340ec4e1310e8bf2885ef5b8780ed4 (patch) | |
| tree | c1f42af81faa8090703a179c3392521f4580af23 /Source/GPUVerify/GPUVerify.csproj | |
| parent | 84d99f1be6fe7ac97637b0945b8bf184b42c27a4 (diff) | |
Shared state is now properly abstracted in requires clauses.
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 47965b43..08913944 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -105,6 +105,7 @@ <ItemGroup>
<Compile Include="AccessCollector.cs" />
<Compile Include="AccessRecord.cs" />
+ <Compile Include="AdversarialAbstraction.cs" />
<Compile Include="ArrayControlFlowAnalyser.cs" />
<Compile Include="AsymmetricExpressionFinder.cs" />
<Compile Include="StrideConstraint.cs" />
|