From 2b4638d32cc827ed38ae26119dca54ad7aae14e4 Mon Sep 17 00:00:00 2001 From: tabarbe Date: Fri, 13 Aug 2010 00:46:04 +0000 Subject: Boogie: Committing changed references --- Source/Boogie.sln | 24 ++++++++++++------------ Source/BoogieDriver/BoogieDriver.csproj | 4 ---- Source/Provers/Isabelle/Isabelle.csproj | 4 ++-- Source/Provers/SMTLib/SMTLib.csproj | 4 ++-- Source/Provers/Simplify/Simplify.csproj | 4 ++-- Source/Provers/Z3/Z3.csproj | 4 ++-- Source/VCGeneration/VCGeneration.csproj | 5 ++--- 7 files changed, 22 insertions(+), 27 deletions(-) (limited to 'Source') 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 @@ {BB49B90B-BE21-4BE8-85BA-359FDB55F4DF} Z3 - - {CF42B700-10AA-4DA9-8992-48A800251C11} - VCExpr - {E1F10180-C7B9-4147-B51F-FA1B701966DC} VCGeneration 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 @@ {47BC34F1-A173-40BE-84C2-9332B4418387} Core - - {CF42B700-10AA-4DA9-8992-48A800251C11} + + {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1} VCExpr 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 @@ {47BC34F1-A173-40BE-84C2-9332B4418387} Core - - {CF42B700-10AA-4DA9-8992-48A800251C11} + + {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1} VCExpr 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 @@ {4C28FB90-630E-4B55-A937-11A011B79765} Graph - - {CF42B700-10AA-4DA9-8992-48A800251C11} + + {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1} VCExpr 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 @@ {47BC34F1-A173-40BE-84C2-9332B4418387} Core - - {CF42B700-10AA-4DA9-8992-48A800251C11} + + {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1} VCExpr 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 @@ - @@ -106,8 +105,8 @@ {4C28FB90-630E-4B55-A937-11A011B79765} Graph - - {CF42B700-10AA-4DA9-8992-48A800251C11} + + {56FFDBCA-7D14-43B8-A6CA-22A20E417EE1} VCExpr -- cgit v1.2.3