diff options
Diffstat (limited to 'Source/GPUVerify.sln')
| -rw-r--r-- | Source/GPUVerify.sln | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Source/GPUVerify.sln b/Source/GPUVerify.sln index 4d515300..7853459f 100644 --- a/Source/GPUVerify.sln +++ b/Source/GPUVerify.sln @@ -29,6 +29,8 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VCExpr", "VCExpr\VCExpr.csp EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Isabelle", "Provers\Isabelle\Isabelle.csproj", "{435D5BD0-6F62-49F8-BB24-33E2257519AD}"
EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "GPUVerifyBoogieDriver", "GPUVerifyBoogieDriver\GPUVerifyBoogieDriver.csproj", "{FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}"
+EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Checked|Any CPU = Checked|Any CPU
@@ -327,6 +329,26 @@ Global {435D5BD0-6F62-49F8-BB24-33E2257519AD}.z3apidebug|Mixed Platforms.ActiveCfg = z3apidebug|Any CPU
{435D5BD0-6F62-49F8-BB24-33E2257519AD}.z3apidebug|Mixed Platforms.Build.0 = z3apidebug|Any CPU
{435D5BD0-6F62-49F8-BB24-33E2257519AD}.z3apidebug|x86.ActiveCfg = z3apidebug|Any CPU
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Checked|Any CPU.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Checked|Mixed Platforms.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Checked|Mixed Platforms.Build.0 = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Checked|x86.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Checked|x86.Build.0 = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Debug|Any CPU.ActiveCfg = Debug|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Debug|Mixed Platforms.Build.0 = Debug|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Debug|x86.ActiveCfg = Debug|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Debug|x86.Build.0 = Debug|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Release|Any CPU.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Release|Mixed Platforms.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Release|Mixed Platforms.Build.0 = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Release|x86.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.Release|x86.Build.0 = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.z3apidebug|Any CPU.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.z3apidebug|Mixed Platforms.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.z3apidebug|Mixed Platforms.Build.0 = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.z3apidebug|x86.ActiveCfg = Release|x86
+ {FD2A2C67-1BD6-4A1A-B65B-B057267E24A3}.z3apidebug|x86.Build.0 = Release|x86
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
|