From 6c475660d8fb6fafa40510b0703c3aafbcf79072 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 12 Oct 2012 15:12:21 +0100
Subject: [PATCH] Removed support for signed assemblies. Users are advised to
 build their own assemblies from the source code, which they can sign using
 their own private keys.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 Microsoft.Z3/Microsoft.Z3.csproj      |   8 +++---
 Microsoft.Z3/z3.snk                   | Bin 596 -> 0 bytes
 Microsoft.Z3V3/AssemblyInfo.cpp       |  14 +++++-----
 Microsoft.Z3V3/Microsoft.Z3V3.vcxproj |  36 +++++++++++++++++---------
 Microsoft.Z3V3/z3.snk                 | Bin 596 -> 0 bytes
 5 files changed, 34 insertions(+), 24 deletions(-)
 delete mode 100644 Microsoft.Z3/z3.snk
 delete mode 100644 Microsoft.Z3V3/z3.snk

diff --git a/Microsoft.Z3/Microsoft.Z3.csproj b/Microsoft.Z3/Microsoft.Z3.csproj
index 9ca28df75..62ec169b0 100644
--- a/Microsoft.Z3/Microsoft.Z3.csproj
+++ b/Microsoft.Z3/Microsoft.Z3.csproj
@@ -208,10 +208,11 @@
     <CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
   </PropertyGroup>
   <PropertyGroup>
-    <SignAssembly>true</SignAssembly>
+    <SignAssembly>false</SignAssembly>
   </PropertyGroup>
   <PropertyGroup>
-    <AssemblyOriginatorKeyFile>z3.snk</AssemblyOriginatorKeyFile>
+    <AssemblyOriginatorKeyFile>
+    </AssemblyOriginatorKeyFile>
   </PropertyGroup>
   <PropertyGroup>
     <DelaySign>false</DelaySign>
@@ -293,9 +294,6 @@
   <ItemGroup>
     <WCFMetadata Include="Service References\" />
   </ItemGroup>
-  <ItemGroup>
-    <None Include="z3.snk" />
-  </ItemGroup>
   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
   <PropertyGroup>
     <PostBuildEvent>
diff --git a/Microsoft.Z3/z3.snk b/Microsoft.Z3/z3.snk
deleted file mode 100644
index 1c1ac87139db582e9021fd69893f32c23450bc67..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 596
zcmV-a0;~N80ssI2Bme+XQ$aES1ONa50097ZdN^E`fV9($I`dn<1f}a+1i;_!$y;J4
zee;lDbzQFm79@J~Ur^w}{$f#z2?xqAj>XryfQ*x%kO4Cl)u^c0HB!a{bvPi?)i8iv
zfIOQ{?t#eU5G(LC{DMJ7?Yfb}*D0r<0RC%R3_qZ=Dz~^8!WLVA67o=R^5!ctR?E5r
zTZTnWM3seP-F7UD=c-9e^wfVQrSDO_|F(yHd1Bi}9*{u0P5bXD-4|d?GB!uf5dL6D
zA@1Iy352^5cF^X1u9ob7yioyvp%rI31-q*Z{P_7~oJ*&An4NRDD-@o-``1PLAWHZ<
z<@D<3OD2z@fg*XSeCl2cQN{4XIW5m=ajoGS;Zfb6lN_Ff@*0vkeA}cfGrqL%0IlIw
z`)!pN!Wc?1${pgpA0^pS(kzGn1#`S=5RamF3XZsCQ0+AJ+JS&<HXubh5ZXX;LkoL+
zdzWspuJGkd@R|@)KskM7<nW}+Q4={=7!kAEoldPJH_SOX>{RP$uvs?*qkWrUxo+PV
zgx9qdq7iY6(QhyrK;^KOslOqAWXw=mb`m(|xeT+xFTyojbY+%->2=77E*~oQtZN>S
z<v_=*HQUx{mp)3u3I-`5oFqe(b~;9}B=Vzh{^IW1f}E-(0HKmwUV=)D2t4^<loh*q
zOGeNu1ysbIDEC%K>q9xdu!RmBGMdK0RfJ6YMBHDi%@3`wydNE*iYSuEg@V?E=f0CG
iozI4Z`K&(xgd3H<kG10$;4W39hsM!hQfS9{F;g21XdhGn

diff --git a/Microsoft.Z3V3/AssemblyInfo.cpp b/Microsoft.Z3V3/AssemblyInfo.cpp
index 54bea937e..86a8775e6 100644
--- a/Microsoft.Z3V3/AssemblyInfo.cpp
+++ b/Microsoft.Z3V3/AssemblyInfo.cpp
@@ -25,10 +25,10 @@ using namespace System::Security::Permissions;
 [assembly:AssemblyVersionAttribute("4.2.0.0")];
 [assembly:AssemblyFileVersionAttribute("4.2.0.0")];
 
-#ifdef DELAYSIGN
-[assembly:AssemblyKeyFile("35MSSharedLib1024.snk")];
-[assembly:AssemblyDelaySign(true)];
-#else
-[assembly:AssemblyKeyFile("z3.snk")];
-[assembly:AssemblyDelaySign(true)];
-#endif
+//#ifdef DELAYSIGN
+//[assembly:AssemblyKeyFile("35MSSharedLib1024.snk")];
+//[assembly:AssemblyDelaySign(true)];
+//#else
+//[assembly:AssemblyKeyFile("z3.snk")];
+//[assembly:AssemblyDelaySign(true)];
+//#endif
diff --git a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
index ac99eef86..506e0e17d 100644
--- a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
+++ b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
@@ -259,7 +259,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
@@ -282,7 +283,8 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
@@ -306,7 +308,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
@@ -330,7 +333,8 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Trace|Win32'">
@@ -354,7 +358,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Trace|x64'">
@@ -377,7 +382,8 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='release_mt|Win32'">
@@ -401,7 +407,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='external|Win32'">
@@ -426,7 +433,8 @@
       <Profile>true</Profile>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='commercial|Win32'">
@@ -450,7 +458,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='external|x64'">
@@ -475,7 +484,8 @@
       <Profile>true</Profile>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='commercial|x64'">
@@ -499,14 +509,16 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='release_mt|x64'">
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='release_mt|x64'">
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemGroup>
diff --git a/Microsoft.Z3V3/z3.snk b/Microsoft.Z3V3/z3.snk
deleted file mode 100644
index 1c1ac87139db582e9021fd69893f32c23450bc67..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 596
zcmV-a0;~N80ssI2Bme+XQ$aES1ONa50097ZdN^E`fV9($I`dn<1f}a+1i;_!$y;J4
zee;lDbzQFm79@J~Ur^w}{$f#z2?xqAj>XryfQ*x%kO4Cl)u^c0HB!a{bvPi?)i8iv
zfIOQ{?t#eU5G(LC{DMJ7?Yfb}*D0r<0RC%R3_qZ=Dz~^8!WLVA67o=R^5!ctR?E5r
zTZTnWM3seP-F7UD=c-9e^wfVQrSDO_|F(yHd1Bi}9*{u0P5bXD-4|d?GB!uf5dL6D
zA@1Iy352^5cF^X1u9ob7yioyvp%rI31-q*Z{P_7~oJ*&An4NRDD-@o-``1PLAWHZ<
z<@D<3OD2z@fg*XSeCl2cQN{4XIW5m=ajoGS;Zfb6lN_Ff@*0vkeA}cfGrqL%0IlIw
z`)!pN!Wc?1${pgpA0^pS(kzGn1#`S=5RamF3XZsCQ0+AJ+JS&<HXubh5ZXX;LkoL+
zdzWspuJGkd@R|@)KskM7<nW}+Q4={=7!kAEoldPJH_SOX>{RP$uvs?*qkWrUxo+PV
zgx9qdq7iY6(QhyrK;^KOslOqAWXw=mb`m(|xeT+xFTyojbY+%->2=77E*~oQtZN>S
z<v_=*HQUx{mp)3u3I-`5oFqe(b~;9}B=Vzh{^IW1f}E-(0HKmwUV=)D2t4^<loh*q
zOGeNu1ysbIDEC%K>q9xdu!RmBGMdK0RfJ6YMBHDi%@3`wydNE*iYSuEg@V?E=f0CG
iozI4Z`K&(xgd3H<kG10$;4W39hsM!hQfS9{F;g21XdhGn