summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-08-13 00:46:04 +0000
committerGravatar tabarbe <unknown>2010-08-13 00:46:04 +0000
commit2b4638d32cc827ed38ae26119dca54ad7aae14e4 (patch)
tree1e29e23959b4fd4661cd36721302e177ac6cd0b2 /Source
parent124c83e0757744f08ae54f2359d0f4d9b4be9304 (diff)
Boogie: Committing changed references
Diffstat (limited to 'Source')
-rw-r--r--Source/Boogie.sln24
-rw-r--r--Source/BoogieDriver/BoogieDriver.csproj4
-rw-r--r--Source/Provers/Isabelle/Isabelle.csproj4
-rw-r--r--Source/Provers/SMTLib/SMTLib.csproj4
-rw-r--r--Source/Provers/Simplify/Simplify.csproj4
-rw-r--r--Source/Provers/Z3/Z3.csproj4
-rw-r--r--Source/VCGeneration/VCGeneration.csproj5
7 files changed, 22 insertions, 27 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln
index e854d453..29d8afee 100644
--- a/Source/Boogie.sln
+++ b/Source/Boogie.sln
@@ -11,8 +11,6 @@ Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "Core", "Core\Core.sscproj",
EndProject
Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "Graph", "Graph\Graph.sscproj", "{4C28FB90-630E-4B55-A937-11A011B79765}"
EndProject
-Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "VCExpr", "VCExpr\VCExpr.sscproj", "{CF42B700-10AA-4DA9-8992-48A800251C11}"
-EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "BoogieDriver", "BoogieDriver\BoogieDriver.csproj", "{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}"
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Isabelle", "Provers\Isabelle\Isabelle.csproj", "{435D5BD0-6F62-49F8-BB24-33E2257519AD}"
@@ -27,6 +25,8 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Simplify", "Provers\Simplif
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VCGeneration", "VCGeneration\VCGeneration.csproj", "{E1F10180-C7B9-4147-B51F-FA1B701966DC}"
EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "VCExpr", "VCExpr\VCExpr.csproj", "{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}"
+EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|.NET = Debug|.NET
@@ -77,16 +77,6 @@ Global
{4C28FB90-630E-4B55-A937-11A011B79765}.Release|Any CPU.ActiveCfg = Release|.NET
{4C28FB90-630E-4B55-A937-11A011B79765}.Release|Mixed Platforms.ActiveCfg = Release|.NET
{4C28FB90-630E-4B55-A937-11A011B79765}.Release|Mixed Platforms.Build.0 = Release|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Debug|.NET.ActiveCfg = Debug|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Debug|.NET.Build.0 = Debug|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Debug|Any CPU.ActiveCfg = Debug|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Debug|Mixed Platforms.ActiveCfg = Debug|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Debug|Mixed Platforms.Build.0 = Debug|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Release|.NET.ActiveCfg = Release|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Release|.NET.Build.0 = Release|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Release|Any CPU.ActiveCfg = Release|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Release|Mixed Platforms.ActiveCfg = Release|.NET
- {CF42B700-10AA-4DA9-8992-48A800251C11}.Release|Mixed Platforms.Build.0 = Release|.NET
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|.NET.ActiveCfg = Debug|Any CPU
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|.NET.Build.0 = Debug|Any CPU
{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
@@ -164,6 +154,16 @@ Global
{E1F10180-C7B9-4147-B51F-FA1B701966DC}.Release|Any CPU.Build.0 = Release|Any CPU
{E1F10180-C7B9-4147-B51F-FA1B701966DC}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{E1F10180-C7B9-4147-B51F-FA1B701966DC}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Debug|.NET.ActiveCfg = Debug|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Release|.NET.ActiveCfg = Release|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Release|Any CPU.Build.0 = Release|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}.Release|Mixed Platforms.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 81ca8585..6842c3fa 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -126,10 +126,6 @@
<Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
<Name>Z3</Name>
</ProjectReference>
- <ProjectReference Include="..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
- <Name>VCExpr</Name>
- </ProjectReference>
<ProjectReference Include="..\VCGeneration\VCGeneration.csproj">
<Project>{E1F10180-C7B9-4147-B51F-FA1B701966DC}</Project>
<Name>VCGeneration</Name>
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj
index c98dd252..06cdb145 100644
--- a/Source/Provers/Isabelle/Isabelle.csproj
+++ b/Source/Provers/Isabelle/Isabelle.csproj
@@ -85,8 +85,8 @@
<Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
<Name>Core</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj
index 8a4846c0..5e8e8b46 100644
--- a/Source/Provers/SMTLib/SMTLib.csproj
+++ b/Source/Provers/SMTLib/SMTLib.csproj
@@ -97,8 +97,8 @@
<Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
<Name>Core</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj
index db0929c3..60f582ec 100644
--- a/Source/Provers/Simplify/Simplify.csproj
+++ b/Source/Provers/Simplify/Simplify.csproj
@@ -94,8 +94,8 @@
<Project>{4C28FB90-630E-4B55-A937-11A011B79765}</Project>
<Name>Graph</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj
index dc4565fe..cc84ec98 100644
--- a/Source/Provers/Z3/Z3.csproj
+++ b/Source/Provers/Z3/Z3.csproj
@@ -95,8 +95,8 @@
<Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
<Name>Core</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index 073f60c6..9b85b59a 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -77,7 +77,6 @@
<Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
- <Compile Include="cce.cs" />
<Compile Include="Check.cs" />
<Compile Include="ConditionGeneration.cs" />
<Compile Include="Context.cs" />
@@ -106,8 +105,8 @@
<Project>{4C28FB90-630E-4B55-A937-11A011B79765}</Project>
<Name>Graph</Name>
</ProjectReference>
- <ProjectReference Include="..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
</ItemGroup>