summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-08-27 16:00:08 +0000
committerGravatar tabarbe <unknown>2010-08-27 16:00:08 +0000
commit03e650bc57fc7f388600573c1ba828f11d4f42b1 (patch)
treea88657e88bd05ce88aa22ef4dc592678cc0eb1a4
parentab519e927d0dc7975517671afb5ae4ea12e5268a (diff)
Boogie: Basetypes port 3/3: Committing changed references
Z3api.csproj shouldn't get in the way this time 'round.
-rw-r--r--Source/AIFramework/AIFramework.csproj4
-rw-r--r--Source/AbsInt/AbsInt.csproj4
-rw-r--r--Source/Boogie.sln24
-rw-r--r--Source/Core/Core.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/Provers/Z3api/Z3api.csproj4
-rw-r--r--Source/VCExpr/VCExpr.csproj4
-rw-r--r--Source/VCGeneration/VCGeneration.csproj4
11 files changed, 32 insertions, 32 deletions
diff --git a/Source/AIFramework/AIFramework.csproj b/Source/AIFramework/AIFramework.csproj
index 224be513..1a10628c 100644
--- a/Source/AIFramework/AIFramework.csproj
+++ b/Source/AIFramework/AIFramework.csproj
@@ -92,8 +92,8 @@
<Compile Include="VariableMap\VariableMapLattice.cs" />
</ItemGroup>
<ItemGroup>
- <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
</ItemGroup>
diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 62d90dff..a2d8e1cc 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -92,8 +92,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">
diff --git a/Source/Boogie.sln b/Source/Boogie.sln
index 8ac6b180..1a4f29d7 100644
--- a/Source/Boogie.sln
+++ b/Source/Boogie.sln
@@ -3,8 +3,6 @@ Microsoft Visual Studio Solution File, Format Version 10.00
# Visual Studio 2008
Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Provers", "Provers", "{B758C1E3-824A-439F-AA2F-0BA1143E8C8D}"
EndProject
-Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "Basetypes", "Basetypes\Basetypes.sscproj", "{0C692837-77EC-415F-BF04-395E3ED06E9A}"
-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}"
@@ -29,6 +27,8 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "AIFramework", "AIFramework\
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Graph", "Graph\Graph.csproj", "{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}"
EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Basetypes", "Basetypes\Basetypes.csproj", "{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}"
+EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|.NET = Debug|.NET
@@ -39,16 +39,6 @@ Global
Release|Mixed Platforms = Release|Mixed Platforms
EndGlobalSection
GlobalSection(ProjectConfigurationPlatforms) = postSolution
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Debug|.NET.ActiveCfg = Debug|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Debug|.NET.Build.0 = Debug|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Debug|Any CPU.ActiveCfg = Debug|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Debug|Mixed Platforms.ActiveCfg = Debug|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Debug|Mixed Platforms.Build.0 = Debug|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Release|.NET.ActiveCfg = Release|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Release|.NET.Build.0 = Release|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Release|Any CPU.ActiveCfg = Release|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.Release|Mixed Platforms.ActiveCfg = Release|.NET
- {0C692837-77EC-415F-BF04-395E3ED06E9A}.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
@@ -175,6 +165,16 @@ Global
{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}.Release|Any CPU.Build.0 = Release|Any CPU
{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}.Release|Mixed Platforms.Build.0 = Release|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Debug|.NET.ActiveCfg = Debug|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Release|.NET.ActiveCfg = Release|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Release|Any CPU.Build.0 = Release|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}.Release|Mixed Platforms.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index 212e8208..49ad3c7e 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -118,8 +118,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\Graph\Graph.csproj">
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj
index e48b0fa7..a37eba66 100644
--- a/Source/Provers/Isabelle/Isabelle.csproj
+++ b/Source/Provers/Isabelle/Isabelle.csproj
@@ -78,8 +78,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj
index 738e2cf7..b30e873b 100644
--- a/Source/Provers/SMTLib/SMTLib.csproj
+++ b/Source/Provers/SMTLib/SMTLib.csproj
@@ -90,8 +90,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj
index c15ef55a..9591278f 100644
--- a/Source/Provers/Simplify/Simplify.csproj
+++ b/Source/Provers/Simplify/Simplify.csproj
@@ -84,8 +84,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj
index ce7c280e..05ff9d9a 100644
--- a/Source/Provers/Z3/Z3.csproj
+++ b/Source/Provers/Z3/Z3.csproj
@@ -88,8 +88,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj
index af8b9324..a951715b 100644
--- a/Source/Provers/Z3api/Z3api.csproj
+++ b/Source/Provers/Z3api/Z3api.csproj
@@ -65,8 +65,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\..\Core\Core.csproj">
diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj
index b2f61e8c..e9209c8a 100644
--- a/Source/VCExpr/VCExpr.csproj
+++ b/Source/VCExpr/VCExpr.csproj
@@ -93,8 +93,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index d06cb13f..37b6fe60 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -94,8 +94,8 @@
<Project>{39B0658D-C955-41C5-9A43-48C97A1EF5FD}</Project>
<Name>AIFramework</Name>
</ProjectReference>
- <ProjectReference Include="..\Basetypes\Basetypes.sscproj">
- <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
+ <ProjectReference Include="..\Basetypes\Basetypes.csproj">
+ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">