diff options
| author |  tabarbe <unknown> | 2010-07-14 17:32:59 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-14 17:32:59 +0000 |
| commit | 90e12234593e12a16de95045ec66fa20ea242f03 (patch) | |
| tree | 4ab828f85aac2a0c8fdf584470b91a2ba3759fd8 /Source/Boogie.sln | |
| parent | cd014ab0b0c4893816a1ddca3f6c5f72111f62fb (diff) | |
<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the changes made to the .csproj and Boogie.sln file that are necessary for the port.
My Microsoft alias is t-abarbe, so if any of this stuff breaks for you, you can contact me.
</BoogieDriver> </Boogie>
Diffstat (limited to 'Source/Boogie.sln')
| -rw-r--r-- | Source/Boogie.sln | 37 |
1 files changed, 13 insertions, 24 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln index e6b83a61..f9148288 100644 --- a/Source/Boogie.sln +++ b/Source/Boogie.sln @@ -23,22 +23,10 @@ Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "VCExpr", "VCExpr\VCExpr.ssc EndProject
Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "VCGeneration", "VCGeneration\VCGeneration.sscproj", "{F65666DE-FB56-457C-8782-09BE243450FC}"
EndProject
-Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "BoogieDriver", "BoogieDriver\BoogieDriver.sscproj", "{D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}"
- ProjectSection(ProjectDependencies) = postProject
- {CF42B700-10AA-4DA9-8992-48A800251C11} = {CF42B700-10AA-4DA9-8992-48A800251C11}
- {11D06232-2039-4BCA-853B-C596E2A4EDB0} = {11D06232-2039-4BCA-853B-C596E2A4EDB0}
- {0C692837-77EC-415F-BF04-395E3ED06E9A} = {0C692837-77EC-415F-BF04-395E3ED06E9A}
- {24B55172-AD8B-47D1-8952-5A95CFDB9B31} = {24B55172-AD8B-47D1-8952-5A95CFDB9B31}
- {13C3A68C-462A-4CDA-A480-738046E37C5A} = {13C3A68C-462A-4CDA-A480-738046E37C5A}
- {4C28FB90-630E-4B55-A937-11A011B79765} = {4C28FB90-630E-4B55-A937-11A011B79765}
- {F65666DE-FB56-457C-8782-09BE243450FC} = {F65666DE-FB56-457C-8782-09BE243450FC}
- {F75666DE-CD56-457C-8782-09BE243450FC} = {F75666DE-CD56-457C-8782-09BE243450FC}
- {F75666DE-FB56-457C-8782-09BE243450FC} = {F75666DE-FB56-457C-8782-09BE243450FC}
- {47BC34F1-A173-40BE-84C2-9332B4418387} = {47BC34F1-A173-40BE-84C2-9332B4418387}
- EndProjectSection
-EndProject
Project("{07C4E3D1-6B67-4060-8A92-940DB82041ED}") = "Isabelle", "Provers\Isabelle\Isabelle.sscproj", "{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}"
EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "BoogieDriver", "BoogieDriver\BoogieDriver.csproj", "{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}"
+EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
Debug|.NET = Debug|.NET
@@ -149,16 +137,6 @@ Global {F65666DE-FB56-457C-8782-09BE243450FC}.Release|Any CPU.ActiveCfg = Release|.NET
{F65666DE-FB56-457C-8782-09BE243450FC}.Release|Mixed Platforms.ActiveCfg = Release|.NET
{F65666DE-FB56-457C-8782-09BE243450FC}.Release|Mixed Platforms.Build.0 = Release|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Debug|.NET.ActiveCfg = Debug|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Debug|.NET.Build.0 = Debug|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Debug|Any CPU.ActiveCfg = Debug|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Debug|Mixed Platforms.ActiveCfg = Debug|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Debug|Mixed Platforms.Build.0 = Debug|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Release|.NET.ActiveCfg = Release|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Release|.NET.Build.0 = Release|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Release|Any CPU.ActiveCfg = Release|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Release|Mixed Platforms.ActiveCfg = Release|.NET
- {D2B98E4A-2EAB-4065-ABFA-709AC5CA7D4C}.Release|Mixed Platforms.Build.0 = Release|.NET
{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|.NET.ActiveCfg = Debug|.NET
{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|.NET.Build.0 = Debug|.NET
{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Debug|Any CPU.ActiveCfg = Debug|.NET
@@ -169,6 +147,17 @@ Global {C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|Any CPU.ActiveCfg = Release|.NET
{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.Release|Mixed Platforms.ActiveCfg = Release|.NET
{C3C3BC4F-6AEB-41AB-A649-4A085DC6FB36}.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
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|Any CPU.Build.0 = Debug|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|.NET.ActiveCfg = Release|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Any CPU.ActiveCfg = Release|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Any CPU.Build.0 = Release|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
+ {DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}.Release|Mixed Platforms.Build.0 = Release|Any CPU
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE
|