diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-04-24 23:08:47 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-04-24 23:08:47 +0100 |
| commit | 75544f809a86052e4cfe68f76edfcf43eb4d3165 (patch) | |
| tree | d2f0fa69c9d64f02f08bd9b988809057e9883659 /Source/GPUVerify/GPUVerify.csproj | |
| parent | 5d9f67a57accdd84dd124719f7155262eeeb3133 (diff) | |
Started refactoring invariant generation rules.
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
| -rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index da8adc8b..5b0f7e3e 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -108,6 +108,9 @@ <Compile Include="AccessRecord.cs" />
<Compile Include="ArrayControlFlowAnalyser.cs" />
<Compile Include="AsymmetricExpressionFinder.cs" />
+ <Compile Include="InvariantGenerationRules\LoopVariableBoundsInvariantGenerator.cs" />
+ <Compile Include="InvariantGenerationRules\InvariantGenerationRule.cs" />
+ <Compile Include="InvariantGenerationRules\PowerOfTwoInvariantGenerator.cs" />
<Compile Include="MayBeGlobalSizeAnalyser.cs" />
<Compile Include="MayBeFlattened2DTidOrGidAnalyser.cs" />
<Compile Include="MayBeGidAnalyser.cs" />
|