I am working to port Boogie from Spec# to C#. As part of this process, I need to rename the .ssc files to .cs. Unfortunately, using the Tortoise SVN Source Control software, the changelog of the files I rename is lost. (I welcome anyone's ideas on how to do a more efficient/useful rename.) I will then port using VS 2010, creating a duplicate project on my harddisk, and translating it to pure C#. When I have my code successfully compiling, I will replace the Spec# version with my C# porting, run regressions, and if successful, commit my changes.

Editing Boogie in Spec# should still function with the .ssc files renamed to .cs files.

3 files changed, 2 insertions, 2 deletions

diff --git a/Source/BoogieDriver/AssemblyInfo.ssc b/Source/BoogieDriver/AssemblyInfo.cs
index 6ed99a25..6ed99a25 100644
--- a/Source/BoogieDriver/AssemblyInfo.ssc
+++ b/Source/BoogieDriver/AssemblyInfo.cs
diff --git a/Source/BoogieDriver/BoogieDriver.ssc b/Source/BoogieDriver/BoogieDriver.cs
index c1bf358e..c1bf358e 100644
--- a/Source/BoogieDriver/BoogieDriver.ssc
+++ b/Source/BoogieDriver/BoogieDriver.cs
diff --git a/Source/BoogieDriver/BoogieDriver.sscproj b/Source/BoogieDriver/BoogieDriver.sscproj
index d2818f25..584a5e81 100644
--- a/Source/BoogieDriver/BoogieDriver.sscproj
+++ b/Source/BoogieDriver/BoogieDriver.sscproj
@@ -130,7 +130,7 @@
     </Build>

     <Files>

       <Include>

-        <File RelPath="BoogieDriver.ssc"

+        <File RelPath="BoogieDriver.cs"

                  SubType="Code"

                  BuildAction="Compile"

                  />

@@ -140,7 +140,7 @@
                  />

         <File BuildAction="Compile"

                  SubType="Code"

-                 RelPath="AssemblyInfo.ssc"

+                 RelPath="AssemblyInfo.cs"

                  />

       </Include>

     </Files>